ตรรกศาสตร์(Logic)
ประพจน์ (Propositions หรือ Statements)
ประพจน์ คือ ประโยคหรือข้อความที่เป็นจริงหรือเท็จ อย่างใดอย่างหนึ่งเท่านั้น ประโยคหรือข้อความที่มีลักษณะดังกล่าว จะอยู่ในรูปบอกเล่าหรือปฏิเสธก็ได้
ตัวอย่างประโยคหรือข้อความที่เป็นประพจน์
ดาวพุธเป็นดาวเคราะห์ (จริง)
จังหวัดเชียงใหม่ไม่อยู่ทางภาคใต้ของประเทศไทย (จริง)
9 ≠ 3 (จริง)
17 + 8 ≠ 25 (เท็จ)
π เป็นจำนวนตรรกยะ (เท็จ)
เซตว่างเป็นสับเซตของทุกเซต (เท็จ)
ในตรรกศาสตร์การเป็น จริง หรือ เท็จ ของแต่ละพจน์เรียกว่า ค่าความจริง (truth – value) ของประพจน์ เช่น 3 = 1+2 เป็นประพจน์ที่เป็นจริง
ข้อความหรือประโยคที่ไม่อยู่ในรูปบอกเล่าหรือปฏิเสธ ไม่เป็นประพจน์ เช่น คำถาม คำสั่ง ห้าม ขอร้อง อ้อนวอน ประโยคแสดงความปรารถนา หรือประโยคอุทาน
