-
منطق رياضي تهیه کننده : اثیر کربلاییمنبع : راسخون منطق جمله ها يا (sentential logic ) مجموعه قواعدی راجع به ارتباط جملات با یکدیگر است .در منطق جمله ها به ساختار داخلي جمله ها كاري نداريم و آنها را به حال خود رها مي كنيم . به مثال زير توجه كنيد :a) برادرم هميشه يا سردرد دارد يا كمردرد.b) برادرم سردرد نداردc) برادرم كمردرد داردساختار صوري اين مثال و همه موارد مشابه آن چنين است :a) P يا Qb) چنين نيست كهQ c) پس Pهما