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

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

  1. P ∨ Q
  2. ¬P

أثبت: Q

P ∨ Q, ¬P ⊢ Q

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

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

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