ใบงาน ตรรกศาสตร์ประพจน์และการพิสูจน์ พร้อมเฉลย

ใบงาน ตรรกศาสตร์ประพจน์และการพิสูจน์ ฟรีสำหรับพิมพ์: 6 ข้อ ตั้งแต่ระดับง่ายถึงระดับข้อสอบจริง พร้อมเฉลย พิมพ์หรือบันทึกเป็น PDF ได้

ใบงานใหม่ฝึกออนไลน์พร้อมคำใบ้

สำหรับผู้สอน: พิมพ์ ทำสำเนา และใช้ในชั้นเรียนได้ฟรี ใบงานใหม่แต่ละชุดมีค่าตัวเลขใหม่และเฉลยของตัวเอง หากใส่ลิงก์ไปยัง ExamProblems ในหน้ารายวิชาของคุณ เราจะขอบคุณมาก

ชื่อ: ____________________   วันที่: ____________

1.ง่าย
pq(¬q ∧ ¬p) ∨ (¬q ∨ p)11100100

ตารางค่าความจริงมีแถวเดียวพอดีที่ทำให้ (¬q ∧ ¬p) ∨ (¬q ∨ p) เป็นเท็จ ให้คลิกแถวนั้น

(¬q ∧ ¬p) ∨ (¬q ∨ p)
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
2.ง่าย

ตารางค่าความจริงที่สมบูรณ์ของ ¬(¬p ∧ (q ↔ ¬p)) ∧ (¬q ∧ r) เขียนไว้ครบแล้ว มีกี่แถว N ที่ p = 1 และ q = 0

¬(¬p ∧ (q ↔ ¬p)) ∧ (¬q ∧ r)
N =
3.ปานกลาง
¬¬r → ¬p¬¬r ∧ p¬¬r ∧ ¬p¬r ∧ ¬p

คุณต้องการพิสูจน์ ¬r → p ด้วยข้อขัดแย้ง ควรสมมติประโยคใดตอนเริ่มต้น ให้คลิกประโยคนั้น

¬r → p
  1. 1¬¬r → ¬p
  2. 2¬¬r ∧ p
  3. 3¬¬r ∧ ¬p
  4. 4¬r ∧ ¬p
4.ปานกลาง
pqr¬r ∨ ¬qp ∨ q(¬r ∨ ¬q) → (p ∨ q)111?110?101?100?011?010?001?000?

ในตารางค่าความจริง 8 แถวของ (¬r ∨ ¬q) → (p ∨ q) มีกี่แถวที่เป็นจริง เรียกจำนวนนี้ว่า N

(¬r ∨ ¬q) → (p ∨ q)
N =
5.ยาก
aca ∨ ca¬c11100100

การอ้างเหตุผลที่มีสมมติฐาน a ∨ c; a และบทสรุป ¬c ไม่สมเหตุสมผล ให้คลิกแถวของตารางค่าความจริงที่เป็นตัวอย่างค้าน

a ∨ ca∴ ¬c
  1. 1a = 1, c = 1
  2. 2a = 1, c = 0
  3. 3a = 0, c = 1
  4. 4a = 0, c = 0
6.ยาก
pqrp → qr → qp → r111110101100011010001000

การอ้างเหตุผลที่มีสมมติฐาน p → q; r → q และบทสรุป p → r ไม่สมเหตุสมผล ให้คลิกแถวของตารางค่าความจริงที่เป็นตัวอย่างค้าน

p → qr → q∴ p → r
  1. 1p = 1, q = 1, r = 1
  2. 2p = 1, q = 1, r = 0
  3. 3p = 1, q = 0, r = 1
  4. 4p = 1, q = 0, r = 0
  5. 5p = 0, q = 1, r = 1
  6. 6p = 0, q = 1, r = 0
  7. 7p = 0, q = 0, r = 1
  8. 8p = 0, q = 0, r = 0

เฉลย

  1. 1. p = 0, q = 1
  2. 2. N = 2
  3. 3. ¬r ∧ ¬p
  4. 4. N = 6
  5. 5. a = 1, c = 1
  6. 6. p = 1, q = 1, r = 0

เฉลยทีละขั้นตอนฉบับเต็ม: ฝึกหัวข้อนี้ได้ที่ examproblems.com