0:00
خبيرالتكافؤ المنطقيفحص التكافؤ

هل الحجة التالية صحيحة (تحصيل حاصل)؟

((A ∨ B) ∧ ¬A) → B

هذا يُعرف بالقياس المنطقي الفصلي (Disjunctive Syllogism).