ตรรกศาสตร์เบื้องต้น
ประพจน์ คือประโยคบอกเล่าหรือประโยคปฏิเสธที่เป็นจริงหรือเท็จเพียงอย่างใดอย่างหนึ่งเท่านั้น
- นิยมใช้สัญลักษณ์ p, q, r, … แทนประพจน์
- ประโยคคำถาม คำสั่ง ขอร้อง ห้าม อ้อนวอน อุทาน ปรารถนา ปรารภ ข้อความที่ติดตัวแปร ไม่ใช่ประพจน์
- บางข้อความต้องเป็นจริงหรือเท็จอย่างใดอย่างหนึ่งแน่นอน แต่เรายังไม่ทราบข้อมูลที่แท้จริงจึงยังตัดสินใจไม่ได้ ให้ถือว่าข้อความนั้นเป็นประพจน์ เช่น “ข้าวสารในถุงนี้มี 1 ล้านเมล็ด” บนดาวอังคารมีสิ่งมีชีวิตอาศัยอยู่” เป็นต้น
ค่าความจริงของประพจน์
การเป็นจริงหรือการเป็นเท็จของประพจน์ เรียกว่า ค่าความจริงของประพจน์
- ประพจน์ใดเป็นจริง กล่าวว่า ประพจน์นั้นมีค่าความจริงเป็นจริง แทนค่าความจริงด้วย T
- ประพจน์ใดเป็นเท็จ กล่าวว่า ประพจน์นั้นมีค่าความจริงเป็นเท็จ แทนค่าความจริงด้วย F
