แบบฝกหัด คณิตศาสตร ชั้นมัธยมศึกษาปที่ 4 - 6

บทที่ 2 ตรรกศาสตร (Logic) ชุดที่ 1

คำชี้แจง แบบฝกหัดนี้มี 3 หนา และมีทั้งหมด 21 ขอ จงตอบคำถามตอไปนี้
1. ให p และ q เปนประพจน ซึ่ง p ↔ ∼ q มีคาความจริงเปนจริงแลว ขอใดสรุปถูกตอง
ก. p มีคาความจริงเปนจริง และ q มีคาความจริงเปนจริง
ข. p มีคาความจริงเปนเท็จ และ q มีคาความจริงเปนเท็จ
ค. p มีคาความจริงเปนเท็จ และ q มีคาความจริงเปนจริง
ง. ไมมีขอถูก
2. ขอใดเปนจริง
ก. p → q ≡ ∼ p → ∼ q ข. ∼ (p → ∼ q) ≡ ∼ p ∧ q
ค. ∼ (∼ p → ∼ q) ≡ ∼ p ∧ q ง. ∼ (p → q) ≡ [∼ (p → q)] ∧ ∼ (q → p)

3. ∼ (p ∨ q) ∨ (∼ p ∧ q) สมมูลกับประพจนขอใดตอไปนี้
ก. ∼ p ข. p ค. q ง. ∼ q

4. ให p และ q เปนประพจนซึ่ง p แทนขอความ จำนวนนับ n เปน จำนวนเต็มคี่ q แทนขอความ จำนวนนับ n หารดวย
2 ไมลงตัว แลวประพจน p ↔ q จะแทนขอความใดตอไปนี้
ก. จำนวนนับ n เปน จำนวนเต็มคี่ ก็ตอเมื่อ จำนวนนับ n หารดวย 2 ลงตัว
ข. จำนวนนับ n เปน จำนวนเต็มคี่ ก็ตอเมื่อ จำนวนนับ n หารดวย 2 ไมลงตัว
ค. ถาจำนวนนับ n เปน จำนวนเต็มคี่ แลวจำนวนนับ n หารดวย 2 ไมลงตัว
ง. ไมมีขอถูก
5. ประพจนในขอใดสมมูลกับ p ↔ q
ก. (p ∧ q) ∨ (p ∧ q) ข. (p → q) ∧ (q → p)
ค. (p ∧ q) ∨ (q → p) ง. (p ∧ q) → (p ∨ q)
6. ถา p และ q มีคาความจริงเปนเท็จแลว ขอใดสรุปถูกตอง
ก. p ∧ q มีคาความจริงเปนจริง ข. p ∨ q มีคาความจริงเปนจริง
ค. p → q มีคาความจริงเปนจริง ง. p ↔ q มีคาความจริงเปนเท็จ
7. ถา p → (∼ p ∨ q) มีคาความจริงเปนเท็จแลว คาความจริงของ p และ q เทากับเทาใด ตามลำดับ
ก. F, T ข. F, F ค. T, F ง. T, T

8. ถา p แทนขอความ 4 คือจำนวนเฉพาะคู q แทนขอความ 6 หาร 12 ลงตัว

และ r แทนขอความ ห.ร.ม.ของ 4 และ 6 เปน 2 แลว
ขอความใดตอไปนี้มีคาความจริงเปนจริง
ก. p ∧ q ข. (p ∨ q) ∧ ∼ r ค. ∼ (q ∧ r) ∨ p ง. ∼ p ∨ (q ∧ r)

9. กำหนดให คา ความจริง ของ p และ q คือ T และ F ตามลำดับ แลว คา ความจริง ของ ∼ (∼ p ∨ q) เทากับ เทาใด
ก. T ข. F ค. T และ F ง. ไมสามารถสรุปได
แบบฝกหัด เรื่อง ตรรกศาสตร ชุดที่ 1 Jamesped คณิตศาสตร ม.4 - 6 | หนาที่ 2
10. ถา p → (p ∨ r) มีคาความจริงเปนเท็จแลว คาความจริงของ p , q และ r เทากับเทาใด ตามลำดับ
ก. F, T, T ข. T, T, F ค. T, F, F ง. F, F, F

11. ขอใดมีคาความจริงเปนจริง สำหรับประพจน p และ q ใด ๆ

ก. ∼ [p ∨ (∼ q)] ≡ (∼ p) ∧ q
ข. (p ∨ q) ∨ (∼ q) เปนสัจนิรันดร
ค. (p ∧ q) ∧ (∼ q) เปนขอความขัดแยง (เปนเท็จทุกกรณี)
ง. ∼ [p ∧ (∼ p)] เปนสัจนิรันดร
12. กำหนดให p และ q เปนประพจน พิจารณาขอความตอไปนี้
(1) [p ∧ (p → q)] → q เปนสัจนิรันดร
(2) ถา p และ q มีคาความจริงเปนจริงทั้งคูแลว [p ∧ (p → q)] → q เปนสัจนิรันดร
ขอใดสรุปถูกตอง
ก. (1) ถูก และ (2) ถูก ข. (1) ถูก และ (2) ผิด
ค. (1) ผิด และ (2) ถูก ง. (1) ผิด และ (2) ผิด
13. กำหนดให p และ q เปนประพจน พิจารณาขอความตอไปนี้
(1) p ∧ → p เปนขอความขัดแยง (เปนเท็จทุกกรณี)
(2) p → q ≡ (∼ p) ∨ q
ขอใดสรุปถูกตอง
ก. (1) ถูก และ (2) ถูก ข. (1) ถูก และ (2) ผิด
ค. (1) ผิด และ (2) ถูก ง. (1) ผิด และ (2) ผิด
14. ประพจนในขอใดสมมูลกับ p → (q → p)
ก. p → q ข. p → (p ∨ q) ค. p → (p → q) ง. p → (p ∧ q)

15. ให m และ n เปนจำนวนเต็มที่มากกวา 1 แลวพิจารณาขอตอไปนี้

P : m หาร n ลงตัว
Q : m หาร n2 ลงตัว
R : m เปนจำนวนเฉพาะ
ขอใดจริง
ก. (Q ∧ R) → P ข. (P ∧ Q) → R ค. Q → R ง. Q → P

16. กำหนดให A และ B เปนประพจน พิจารณาขอความตอไปนี้

(1) A → (B → A) สมมูลกับ A → (A ∨ B)
(2) ∼ [(A ∧ B) → (∼ A ∨ B)] เปนสัจนิรันดร
ขอใดสรุปถูกตอง
ก. (1) ถูก และ (2) ถูก ข. (1) ถูก และ (2) ผิด
ค. (1) ผิด และ (2) ถูก ง. (1) ผิด และ (2) ผิด
17. กำหนดให p และ q เปนประพจน พิจารณาขอความตอไปนี้
(1) (p ∧ ∼ q) ∧ (∼ q ∧ p) เปนขอความที่มีคาความจริงเปนเท็จเสมอ (เปนขอความขัดแยง)
(2) (p → q) ↔ (∼ q → ∼ p)] เปนสัจนิรันดร
ขอใดสรุปถูกตอง
ก. (1) ถูก และ (2) ถูก ข. (1) ถูก และ (2) ผิด
ค. (1) ผิด และ (2) ถูก ง. (1) ผิด และ (2) ผิด
แบบฝกหัด เรื่อง ตรรกศาสตร ชุดที่ 1 Jamesped คณิตศาสตร ม.4 - 6 | หนาที่ 3
18. กำหนดให A และ B เปนประพจน ขอความใดเปนสัจนิรันดร
ก. B → [A ∧ (A → B)] ข. A ∧ (A ∨ B)
ค. A ∨ (A ∧ B) ง. [A ∧ (A → B)] → B
19. กำหนดให p และ q เปนประพจน พิจารณาขอความตอไปนี้
(1) ∼ (p ↔ ∼ q) สมมูลกับ p ↔ q
(2) ∼ (p ↔ ∼ q) เปนสัจนิรันดร
ขอใดสรุปถูกตอง
ก. (1) ถูก และ (2) ถูก ข. (1) ถูก และ (2) ผิด
ค. (1) ผิด และ (2) ถูก ง. (1) ผิด และ (2) ผิด
20. ∼ [(p ∨ q)∧ ∼ (p ∧ q)] สมมูลกับประพจนขอใดตอไปนี้
ก. p ↔ q ข. ∼ p ∧ q ค. ∼ (p ↔ q) ง. ไมมีขอถูก

21. (p ∨ r) ∧ (q ∨ r)สมมูลกับประพจนขอใดตอไปนี้
ก. (p ∧ q) ∨ r ข. (p ∨ q) ∧ r ค. p ∧ (q ∨ r) ง. p ∨ (q ∧ r)