0:00
متوسطالتكافؤ المنطقيبرهان

بناءً على المقدمات التالية:

  1. P → Q
  2. ¬Q

أثبت: ¬P

P → Q, ¬Q ⊢ ¬P

الهدف: إثبات ?

ابنِ إثباتك خطوة بخطوة

1.
P → Q
فرضية
2.
¬Q
فرضية