ตรรกศาสตร์เบื้องต้น
ประพจน์ ( Logic )
หมายถึง ข้อความหรือประโยค (ที่อยู่ในรูปประโยกบอกเล่าหรือประโยดปฏิเสธ) ที่เป็นจริงหรือเป็นเท็จ
อย่างใดอย่างหนึ่งเท่านั้น (จริง (T) และเท็จ(F) เรียกว่าค่าความจริงของประพจน์ truth value )
ค่าความจริงของประพจน์ที่มีตัวเชื่อม กำหนด p และ q เป็นประพจน์ใด ๆ
1) p Ùq (พีและคิว) มีค่าความจริงเป็นจริง (T) เมื่อ p และ q มีค่าความจริงเป็นจริง (T) ทั้งคู่ นอกนั้น
มีค่าความจริงเป็นเท็จ (F) (จริงและจริงเป็นจริง นอกนั้นเป็นเท็จ)
2) pÚq (พีหรือคิว) มีค่าความจริงเป็นเท็จ (F) เมื่อ p และ q มีค่าความจริงเป็นเท็จ (F) ทั้งคู่ นอกนั้น
มีค่าความจริงเป็นจริง (T) (เท็จหรือเท็จเป็นเท็จ นอกนั้นเป็นจริง)
3) p®q (ถ้าพีแล้วคิว) มีค่าความจริงเป็นเท็จ (F) เมื่อ p มีค่าความจริงเป็นจริง (T) และ q มีค่าความจริง
เป็นเท็จ (F) นอกนั้นมีค่าความจริงเป็นจริง (T) (ถ้าจริงแล้วเท็จเป็นเท็จ นอกนั้นเป็นจริง)
4) p«q (พีก็ต่อเมื่อคิว) มีค่าความจริงเป็นจริง (T) เมื่อ p และ q มีค่าความจริงตรงกัน และจะมีค่า
ความจริงเป็นเท็จ เมื่อ p และ q มีค่าความจริงต่างกัน
5) ~p (นิเสธของพี) มีค่าความจริงตรงกันข้ามกับ p