کلر، با عدد اتمی ۱۷، یکی از عناصر مهم جدول تناوبی است. این عنصر در دوره سوم و گروه ۱۷ (هالوژن‌ها) جای دارد. موقعیتکلردر جدول تناوبی نشان‌دهنده خواص شیمیایی و فیزیکی منحصر به فرد آن است.
یکی از بزرگترین سؤالات بی‌پاسخ کیهان شناسی این است که – چرا اصلاً چیزی وجود دارد؟ به عبارت دیگر، پادماده‌ای که همراه با این همه ماده، ۱۳٫۸ میلیارد سال پیش به وجود آمد، کجاست؟ اگر بیگ بنگ، به یک اندازه ماده و پادماده در جهان ما گسترانده – چیزی که مدل‌های فعلی‌مان به ما میگویند – پس چرا در جهان ِ امروز فقط ماده باقی مانده است؟ چرا جهان امروز سرزمینی مملوء از انرژی – که از خنثی شدن ماده و پادماده متولد می شود – نیست؟
آیا تا به حال از خود پرسیده‌اید که وسایل شب‌تاب چگونه کار می‌کنند؟ منظورم موادی است که واقعاً بعد از خاموش کردن چراغ‌ها می‌درخشند. نه آنهایی که زیر نور سیاه یا فرابنفش می‌درخشند، زیرا آنها فقط نور نامرئی با انرژی بالا را به شکلی با انرژی کمتر که برای چشم شما قابل مشاهده است، تبدیل می‌کنند. همچنین موادی وجود دارند که به دلیل واکنش‌های شیمیایی مداوم نور تولید می‌کنند، مانند نورتابی شیمیایی چوب‌های نورانی. مواد زیست‌تاب هم وجود دارند که درخشش آنها ناشی از واکنش‌های بیوشیمیایی در سلول‌های زنده است و مواد رادیواکتیو درخشان که ممکن است فوتون ساطع کنند یا به دلیل گرما بدرخشند. همه این‌ها می‌درخشند، اما در مورد رنگ‌های شب‌تاب یا ستاره‌هایی که می‌توانید روی سقف بچسبانید چطور؟
هم‌ارزی منطقی یکی از مفاهیم اساسی در منطق گزاره‌هاست و زمانی برقرار است که دو گزاره یا عبارت منطقی، برای تمام حالت‌های ممکنِ ارزش‌دهی به گزاره‌های ساده، دقیقاً ارزش صدق یکسانی داشته باشند. اگر دو گزاره \(p\) و \(q\) در همه حالت‌ها هم‌ارزش باشند، آنها را با نماد \(p \equiv q\) نشان می‌دهیم.
یکی از مهم‌ترین روش‌های بررسی هم‌ارزی منطقی، استفاده از جدول ارزش است. همچنین دو عبارت \(p\) و \(q\) دقیقاً زمانی هم‌ارز منطقی هستند که گزاره دوشرطی \(p \leftrightarrow q\) یک همان‌گویی باشد؛ یعنی در تمام حالت‌ها ارزش «درست» داشته باشد.
در این مقاله تعریف رسمی هم‌ارزی منطقی، تفاوت آن با تساوی و استلزام منطقی، قوانین مهم مانند قوانین دمورگان، جابه‌جایی، شرکت‌پذیری و توزیع‌پذیری، روش اثبات هم‌ارزی با جدول ارزش و چند مثال حل‌شده از ساده تا پیشرفته بررسی می‌شود.