رتب الخطوات التالية بالترتيب الصحيح لإثبات S من ال... - تمرين منطقي

رتب الخطوات التالية بالترتيب الصحيح لإثبات S من المقدمات المعطاة.

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

P → Q, Q → R, R → S, P ⊢ S

P → Qفرضية

Q → Rفرضية

R → Sفرضية

Pفرضية

Qموديس بونينس (1, 4)

Rموديس بونينس (2, 5)

Sموديس بونينس (3, 6)

اسحب الخطوات هنا لبناء إثباتك