1. ตรรกศาสตร์
1. ประพจน์(proposition) คือ ข้อความหรือประโยคที่มีค่าความจริง(T)หรือเท็จ(F) อย่าง
ใดอย่างหนึ่ง ส่วนข้อความรูป คาสั่ง คาขอร้อง คาอุทาน คาปฏิเสธ ซึ่งไม่อยู่ในรูป
ของประโยคบอกเล่า จะเป็นข้อความที่ไม่เป็นประพจน์ สาหรับข้อความบอกเล่าแต่มี
ตัวแปรอยู่ด้วย ไม่สามารถบอกว่าเป็นจริงหรือเท็จจะไม่เป็นประพจน์ เรียกว่า
ประโยคเปิด
การหาค่าความจริงของประพจน์ที่มีตัวเชื่อม ให้
p และ q เป็นประพจน์
T แทนค่าความจริงของประพจน์ที่เป็นจริง
F แทนค่าความจริงของประพจน์ที่เป็นเท็จ
2. การเชื่อมตัวเชื่อมในประพจน์
pq อ่านว่า p และ q
pq อ่านว่า p หรือ q
pq อ่านว่าถ้า p แล้ว q
pq อ่านว่า p ก็ต่อเมื่อ q
p อ่านว่า นิเสธของ p ซึ่งมีค่าความจริงตรงข้าม
p q pq pq pq p p q
T T T T T T F F
T F F T F F F T
F T F T T F T F
F F F F T T T T