Use rules of inference to show that

Use rules of inference to show that the given assumptions prove the given
conclusion. Do not use truth tables to do the proofs.
Assumptions: p → q, ¬q ; conclusion: ¬p

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

ใช้กฎของข้อเพื่อแสดงว่า พิสูจน์สมมติฐานกำหนดการกำหนด สรุป ใช้ตารางความจริงการทำหลักฐานสมมติฐาน: p → q, ¬q บทสรุป: ¬p

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

ใช้กฎของการอนุมานที่จะแสดงให้เห็นว่าสมมติฐานที่กำหนดพิสูจน์ให้
ได้ข้อสรุป อย่าใช้ตารางความจริงที่จะทำหลักฐานอัน.
สมมติฐาน: P → Q, ¬q; สรุป: ¬p

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

ใช้กฎของการอนุมานเพื่อแสดงให้เห็นว่าสมมติฐานที่ได้รับการพิสูจน์ให้สรุป ไม่ใช้ความจริงโต๊ะทำปรู๊ฟ .สมมติฐาน : P → keyboard - key - name Q , ¬ Q ; สรุป : ¬ p