در منطق گزاره‌ای، شرطی و دوشرطی از مهم‌ترین عملگرهایی هستند که برای بیان رابطه میان دو گزاره به کار می‌روند. گزاره شرطی با نماد \(p\rightarrow q\) نوشته می‌شود و معمولاً به صورت «اگر \(p\)، آنگاه \(q\)» خوانده می‌شود. این گزاره فقط زمانی نادرست است که \(p\) درست و \(q\) نادرست باشد. در مقابل، گزاره دوشرطی با نماد \(p\leftrightarrow q\) نمایش داده می‌شود و زمانی درست است که \(p\) و \(q\) ارزش صدق یکسانی داشته باشند.
در این مقاله تعریف دقیق شرطی و دوشرطی، تفاوت آنها، جدول ارزش، رابطه با عکس و عکس نقیض، مفهوم شرط لازم و کافی، هم‌ارزی‌های مهم و روش حل مثال‌های مختلف بررسی می‌شود.
غزل شماره‌ی 266
در ادامه فرمول هایی از اتحادها و تجزیه های ریاضی را ارائه می دهیم.
غزل شماره‌ی 36
داستان تکامل حیات، از دیدگاه بسیاری از متخصصان، این‌گونه روایت می‌شود: ماهی‌ها به چهاراندامان، چهاراندامان به دوزیستان و دوزیستان به خزندگان تکامل یافتند. البته این یک ساده‌سازی بزرگ است، چرا که برای مثال، ماهی‌ها، چهاراندامان، دوزیستان و خزندگان برای ده‌ها میلیون سال در کنار هم وجود داشته‌اند. اما این روایت، برای اهداف ما کافی خواهد بود. برای بسیاری از علاقه‌مندان به حیات ماقبل تاریخ، آخرین حلقه این زنجیره از اهمیت ویژه‌ای برخوردار است، چرا که دایناسورها، پتروسورها و خزندگان دریایی دوران مزوزوئیک، همگی از خزندگان اجدادی منشأ گرفته‌اند.
آلیاژهای مونل، دسته‌ای از آلیاژهای پایه نیکل هستند که معمولاً بین 29 تا 33 درصد مس دارند. اینآلیاژبرای اولین بار توسط رابرت کروکس استنلی، متخصص متالورژی، ساخته شد و در سال 1905 توسط شرکت بین‌المللی نیکل به ثبت رسید. نام "مونل" به افتخار رئیس وقت این شرکت، یعنی آقای مونل، بر این آلیاژ نهاده شد. جالب است بدانید که استنلی بعدها به مقام مدیرعاملی شرکت بین‌المللی نیکل رسید.
شبه جزیره کره، با قدمتی دیرینه، از دوران پیش از تاریخ مسکونی بوده و در طول تاریخ، تحت سلطه امپراتوری‌ها و سلسله‌های باستانی گوناگونی قرار داشته است. این سرزمین در ابتدا یکپارچه و تحت نام "کره" شناخته می‌شد، اما پس از جنگ جهانی دوم، به دو بخش مجزا تقسیم شد: کره شمالی و کره جنوبی.
آمیدها دسته‌ای از ترکیبات آلی هستند که در آنها یک گروه کربونیل (C=O) به یک اتم نیتروژن متصل شده است. به بیان ساده‌تر، هر ترکیبی که دارای این گروه عاملی (کربونیل متصل به نیتروژن) باشد، یک آمید محسوب می‌شود. آمیدها معمولاً از واکنش بین یک اسید کربوکسیلیک و یک آمین به دست می‌آیند.