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

أكمل البرهان التالي بالتناقض:

  1. P → Q (مقدمة)
  2. P (مقدمة)
  3. ¬Q (مقدمة)
  4. _____ (?)
  5. _____ (?)

الهدف: استنتاج تناقض

P → Q, P, ¬Q ⊢ ⊥

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

انقر على الحقول الفارغة لملء الإثبات