Propositional Logic

فرع من المنطق الرياضي يتعامل مع القضايا (عبارات صح أو خطأ) والروابط المنطقية بينها: «و» (∧) و«أو» (∨) و«لا» (¬). أثبت ماكالوك وبيتس أن شبكات خلاياهما الشكلية قادرة على حساب أي تعبير في هذا المنطق.

A branch of mathematical logic dealing with propositions (true/false statements) and logical connectives: AND (∧), OR (∨), NOT (¬). McCulloch and Pitts proved that networks of their formal neurons can compute any expression in this logic.