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

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

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

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

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

1.ง่าย

ตารางค่าความจริงที่สมบูรณ์ของ (a → (a ∨ b)) → (¬c ∨ ¬b) มีกี่แถว N

(a → (a ∨ b)) → (¬c ∨ ¬b)
N =
2.ง่าย
pq(p ∨ ¬q) ↔ (p ∧ q)11?10?01?00?

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

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

สูตรใดสมมูลเชิงตรรกะกับ ¬(r ↔ q) ให้คลิกสูตรนั้น

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

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

¬(((r → p) ∨ ¬r) → (p → q))
N =
5.ยาก
∀x (¬A(x) ∨ ¬B(x))∃x (¬A(x) ∨ ¬B(x))∃x (¬A(x) ∧ ¬B(x))∀x (¬A(x) ∧ ¬B(x))

ประโยคใดสมมูลกับ ¬∀x (A(x) ∨ B(x)) เมื่อย้ายนิเสธเข้าด้านในสุด ให้คลิกประโยคนั้น

¬∀x (A(x) ∨ B(x))
  1. 1∀x (¬A(x) ∨ ¬B(x))
  2. 2∃x (¬A(x) ∨ ¬B(x))
  3. 3∃x (¬A(x) ∧ ¬B(x))
  4. 4∀x (¬A(x) ∧ ¬B(x))
6.ยาก
∀x (F(x) ∧ ¬G(x))∀x (¬F(x) → ¬G(x))∃x (F(x) ∧ ¬G(x))∀x (F(x) → ¬G(x))

ประโยคใดสมมูลกับ ¬∃x (F(x) → G(x)) เมื่อย้ายนิเสธเข้าด้านในสุด ให้คลิกประโยคนั้น

¬∃x (F(x) → G(x))
  1. 1∀x (F(x) ∧ ¬G(x))
  2. 2∀x (¬F(x) → ¬G(x))
  3. 3∃x (F(x) ∧ ¬G(x))
  4. 4∀x (F(x) → ¬G(x))

เฉลย

  1. 1. N = 8
  2. 2. N = 2
  3. 3. r ↔ ¬q
  4. 4. N = 2
  5. 5. ∃x (¬A(x) ∧ ¬B(x))
  6. 6. ∀x (F(x) ∧ ¬G(x))

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