بناءً على المقدمات التالية:
أثبت: Q
P ∨ Q, ¬P ⊢ Q
ابنِ إثباتك خطوة بخطوة
الأدلة التي تشرح ما يتدرَّب عليه هذا التمرين.
