ページ1:

ประพจน์ (statement) คือ ประโยคหรือข้อความ
ที่เป็น “จริง” หรือ “เท็จ” อย่างใดอย่างหนึ่ง
เท่านั้น
เรียก จริง (True: TT) หรือ เท็จ (False: FF) ว่า
ค่าความจริง (truth value) ของประพจน์
ประพจน์ ข้อความหรือประโยคที่มีค่า ความ
จริง(T)หรือเท็จ (F) อย่างใด อย่างหนึ่ง ส่วน
ข้อความรูป คำสั่ง คำขอร้อง คำอุทาน คำปฏิเสธ
ซึ่งไม่ อยู่ในรูปของประโยคบอกเล่า จะเป็น
ข้อความที่ไม่เป็นประพจน์ สำหรับ ข้อความบอก
เล่าแต่มีตัวแปรอยู่ด้วย ไม่สามารถบอกว่าเป็น
จริงหรือเท็จจะ ไม่เป็นประพจน์ เรียกว่าประโยค
เปิด ประโยคที่มีค่าความจริงไม่แน่นอน หรือไม่
อาจระบุได้ว่ามีค่าความจริงเป็น จริงหรือเป็นเท็จ
ได้ไม่เป็นประพจน์

ページ2:

ตารางค่าความจริง
ประพจน์ย่อย
และ
หรือ
ถ้า...แล้ว... ก็ต่อเมื่อ
PAq
pvq
p-q
p-q
p
q
T
T
T
T
T
T
T
F
F
T
F
F
F
T
F
T
T
F
F
F
F
F
T
T
สูตร
T^T = T
FVF=F
T -> F = F
T<-> T = T
F<-> F = T
A b
ตรงข้าม