هم‌ارزی منطقی یکی از مفاهیم اساسی در منطق گزاره‌هاست و زمانی برقرار است که دو گزاره یا عبارت منطقی، برای تمام حالت‌های ممکنِ ارزش‌دهی به گزاره‌های ساده، دقیقاً ارزش صدق یکسانی داشته باشند. اگر دو گزاره \(p\) و \(q\) در همه حالت‌ها هم‌ارزش باشند، آن‌ها را با نماد \(p \equiv q\) نشان می‌دهیم.

یکی از مهم‌ترین روش‌های بررسی هم‌ارزی منطقی، استفاده از جدول ارزش است. همچنین دو عبارت \(p\) و \(q\) دقیقاً زمانی هم‌ارز منطقی هستند که گزاره دوشرطی \(p \leftrightarrow q\) یک همان‌گویی باشد؛ یعنی در تمام حالت‌ها ارزش «درست» داشته باشد.

در این مقاله تعریف رسمی هم‌ارزی منطقی، تفاوت آن با تساوی و استلزام منطقی، قوانین مهم مانند قوانین دمورگان، جابه‌جایی، شرکت‌پذیری و توزیع‌پذیری، روش اثبات هم‌ارزی با جدول ارزش و چند مثال حل‌شده از ساده تا پیشرفته بررسی می‌شود.

در این مطلب با زمان حال استمراری به همراه کاربردهای آن آشنا خواهید شد

عناصر غیرفلز، گروهی از عناصر هستند که در سمت راست جدول تناوبی قرار دارند (به جزهیدروژنکه در بالای سمت چپ قرار دارد). این عناصر به دلیل نقاط ذوب و جوش پایین، عدم هدایت گرما و الکتریسیته، و انرژی های یونش و الکترونگاتیویته بالا شناخته می شوند. همچنین آن ها دارای ظاهری "فلزی" و درخشان نیستند که معمولاً با فلزات مرتبط است.

شاید بدانید که در گذشته یکی از اجزای نوشیدنیکوکاکولا(کک) شامل کوکائین بوده است. اما ممکن است ندانید که هنوز هم این نوشیدنی با عصاره ای از برگ کوکا طعم دار می شود و کوکائینی که از این برگ ها استخراج می شود برای مصارف پزشکی به فروش می رسد. شرکت استپان (Stepan Company) کوکائین را از برگ های کوکا استخراج می کند و این ماده به شرکت مالینکروت (Mallinckrodt) فروخته می شود که تنها شرکت آمریکایی است که مجوز تصفیه کوکائین را دارد. پس دیگر اجزای کوکاکولا چه هستند و هر یک چه کارکردی دارند؟

در دنیایشیمیآلی، گروه کربوکسیل یک گروه عاملی بسیار مهم است. این گروه از یک اتم کربن تشکیل شده که با یک پیوند دوگانه به اتم اکسیژن و با یک پیوند یگانه به گروه هیدروکسیل (-OH) متصل است. به بیان دیگر، می‌توانید گروه کربوکسیل را به عنوان یک گروه کربونیل (C=O) در نظر بگیرید که یک گروه هیدروکسیل به اتم کربن آن متصل شده است.

نور مرئی، بخشی از طیف گسترده طیف الکترومغناطیسی است که چشمان ما قادر به درک آن هستند. این محدوده از تابش الکترومغناطیسی، با طول موج‌های بین 380 تا 750 نانومتر (nm) و فرکانس تقریبی 430 تا 750 تراهِرتز (THz) تعریف می‌شود. به زبان ساده، نور مرئی همان "نوری" است که ما می‌بینیم و امکان مشاهده رنگ‌ها و اشکال مختلف را فراهم می‌کند.