Assumptions: p → q, ¬q ; conclusion

Assumptions: p → q, ¬q ; conclusion: ¬p

ผลลัพธ์ (ไทย) 1:

สมมติฐาน: p → q, ¬q บทสรุป: ¬p

ผลลัพธ์ (ไทย) 2:

สมมติฐาน: P → Q, ¬q; สรุป: ¬p

ผลลัพธ์ (ไทย) 3:

สมมติฐาน : P → keyboard - key - name Q , ¬ Q ; สรุป : ¬ p