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

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

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

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

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

1.ง่าย
pqq ∨ (q ↔ p)11100100

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

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

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

(¬q ∨ p) ∧ q
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
3.ปานกลาง
abc(a → c) ∧ ca ∧ b((a → c) ∧ c) ∨ (a ∧ b)111?110?101?100?011?010?001?000?

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

((a → c) ∧ c) ∨ (a ∧ b)
N =
4.ปานกลาง
ซ้ำซ้อน (tautology)ขัดแย้ง (contradiction)contingency

p ∨ ¬p เป็น tautology, contradiction หรือ contingency ให้คลิกคำตอบของคุณ

p ∨ ¬p
  1. 1ซ้ำซ้อน (tautology)
  2. 2ขัดแย้ง (contradiction)
  3. 3contingency
5.ยาก

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

¬(((¬r → s) ↔ (q ∨ r)) ∧ (¬(q ∧ p) ↔ s))
N =
6.ยาก
pqq → ppq11100100

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

q → pp∴ q
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0

เฉลย

  1. 1. p = 1, q = 0
  2. 2. p = 1, q = 1
  3. 3. N = 5
  4. 4. ซ้ำซ้อน (tautology)
  5. 5. N = 11
  6. 6. p = 1, q = 0

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