تركيب شرطي : اگر p و q دو گزاره باشند ، گزاره مرکب حاصل از ترکیب دو گزاره با لفظ « اگر...آنگاه » را گزاره شرطی p با q میناميم . به این ترتیب گزاره شرطی حاصل از دو گزاره p و q به صورت « اگر p آنگاه q » مي خوانيم و آن را با نماد p ═> q نمايش مي دهيم . در تركيب شرطی فوق ، p مقدم و q تالی ناميده میشوند . جدول ارزش یک گزاره شرطی به شكل زير نمايش داده مي شود : ,تركيب شرطي تلازمي,تركيب شرطي ...ادامه مطلب