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