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