Page 12 - คณิตศาสตร์และสถิติเพื่องานอาชีพ

8

ตัวอย่างที่ 1.15 จงตรวจสอบว่าประพจน์ต่อไปนี้เป็นสัจนิรันดร์หรือไม่

1. p → (p V q)

วิธีทํา กําหนดให้ p → (p V q) เป็นเท็จ

จะได้ p → (p V q)

F

T F

p = T p = F q = F

จะพบว่า p มีข้อขัดแย้งกัน

ดังนั้น p → (p V q) เป็นสัจนิรันดร์

2. p V (q → p)

วิธีทํา กําหนดให้ p V (q → p) เป็นเท็จ

จะได้ p V (q → p)

F

F F

p = F q = T p = F

จะพบว่าไม่เกิดข้อขัดแย้งกันของประพจน์

ดังนั้น p V (q → p) ไม่เป็นสัจนิรันดร์