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

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

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

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

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

1.ง่าย
pq¬((¬q ∧ p) ↔ (q → p))11?10?01?00?

เติมตารางค่าความจริงให้สมบูรณ์ (1 = จริง, 0 = เท็จ) มีกี่แถว N ที่ ¬((¬q ∧ p) ↔ (q → p)) เป็นจริง

¬((¬q ∧ p) ↔ (q → p))
N =
2.ง่าย

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

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

สูตรใดสมมูลเชิงตรรกะกับ r → p ให้คลิกสูตรนั้น

r → p
  1. 1¬p → ¬r
  2. 2p → r
  3. 3¬p ∧ ¬r
  4. 4¬r → ¬p
4.ปานกลาง
(b → a) ∧ (c → a)b ∨ (c → a)(b ∧ c) → a(b → a) ∨ (c → a)

สูตรใดสมมูลเชิงตรรกะกับ (b ∨ c) → a ให้คลิกสูตรนั้น

(b ∨ c) → a
  1. 1(b → a) ∧ (c → a)
  2. 2b ∨ (c → a)
  3. 3(b ∧ c) → a
  4. 4(b → a) ∨ (c → a)
5.ยาก

ตารางค่าความจริง 16 แถวมีกี่แถวที่ทำให้ ((d ∨ a) → ¬c) → ¬(¬(b ↔ d) ∧ (¬c ∧ b)) เป็นจริง เรียกจำนวนนี้ว่า N

((d ∨ a) → ¬c) → ¬(¬(b ↔ d) ∧ (¬c ∧ b))
N =
6.ยาก
ab¬b¬b ∧ a

กำหนดสมมติฐาน b → c; c → a; ¬a บทสรุปใดตามมาจากสมมติฐานเหล่านี้ ให้คลิกบทสรุปนั้น

b → cc → a¬a
  1. 1a
  2. 2b
  3. 3¬b
  4. 4¬b ∧ a

เฉลย

  1. 1. N = 2
  2. 2. N = 2
  3. 3. ¬p → ¬r
  4. 4. (b → a) ∧ (c → a)
  5. 5. N = 14
  6. 6. ¬b

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