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

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

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

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

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

1.ง่าย

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

(¬(¬q ∧ p) → (r ↔ q)) ∨ ¬(¬r → p)
N =
2.ง่าย
pqq ∧ (p → q)11?10?01?00?

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

q ∧ (p → q)
N =
3.ปานกลาง
pqr(q ∨ p) ∧ qr ∨ p((q ∨ p) ∧ q) ∨ (r ∨ p)111?110?101?100?011?010?001?000?

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

((q ∨ p) ∧ q) ∨ (r ∨ p)
N =
4.ปานกลาง
¬r ∧ ¬pr ∨ ¬p¬r ∨ ¬p¬r ∧ p

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

¬(r ∨ p)
  1. 1¬r ∧ ¬p
  2. 2r ∨ ¬p
  3. 3¬r ∨ ¬p
  4. 4¬r ∧ p
5.ยาก
∀x ∃y ¬R(x, y)∃x ∃y ¬R(x, y)∃x ∀y ¬R(x, y)∀x ∀y ¬R(x, y)

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

¬∃x ∀y R(x, y)
  1. 1∀x ∃y ¬R(x, y)
  2. 2∃x ∃y ¬R(x, y)
  3. 3∃x ∀y ¬R(x, y)
  4. 4∀x ∀y ¬R(x, y)
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 = 2
  2. 2. N = 2
  3. 3. N = 7
  4. 4. ¬r ∧ ¬p
  5. 5. ∀x ∃y ¬R(x, y)
  6. 6. ∃x (¬F(x) ∧ ¬G(x))

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