0:00
متقدمالتكافؤ المنطقيإكمال البرهان
أكمل البرهان التالي باستخدام تحليل الحالات:
- P ∨ Q (مقدمة)
- P → R (مقدمة)
- Q → R (مقدمة)
- الحالة 1: افترض P
- _____ (؟)
- الحالة 2: افترض Q
- _____ (؟)
- _____ (؟)
الهدف: إثبات R
P ∨ Q, P → R, Q → R ⊢ Rالهدف: إثبات ?
انقر على الحقول الفارغة لملء الإثبات