กำหนดให้ p,q,rและ s เป็นประพจน์ จงตรวจสอบว่าการอ้างเหตุผลต่อไปนี้สมเหตุสมผมหรือไม่

เหตุ 1 (p ^ q)------> (r v s)
       2~(r v s )
ผล ~q

เหตุ 1 p----->~q
       2 r v p
       3 q
       4 r------>t
ผล t