واژه نامه ها
واژه | معنی |
---|---|
حساب گزارهای | حساب گزارهها یا حساب گزارهای (Propositional calculus) سامانهای است صوری (formal) که به نمایش مواد و اصول منطق گزارهای میپردازد. گزارهها و ترکیب آن با ادوات منطقی شکل میگیرد. گزارههای مورد توجه منطق گزارهها فقط گزارههای خبریست. در منطق کلاسیک یا منطق دو ارزشی، گزارهها دارای ارزش درست یا غلط هستند.
کلیک ها - 70
مترادف:
Propositional calculus |