ตรรกศาสตร์ และ ประพจน์
ประพจน์ ในตรรกศาสตร์และปรัชญา ประพจน์ หมายถึงประโยคบอกเล่า (หรือประโยคปฏิเสธเชิงบอกเล่า) ที่มีเนื้อหาหรือความหมาย หรือหมายถึงรูปแบบของสัญลักษณ์ เครื่องหมาย หรือเสียงที่ทำให้เกิดประโยคบอกเล่าที่มีความหมาย ความหมายของประพจน์รวมไปถึงสมบัติที่บอกได้ว่าเป็นความจริงหรือความเท็จ การเชื่อมประพจน์ ถ้าให้ p และ q เป็นประพจน์ เมื่อนำประพจน์มาเชื่อมกันด้วยตัวเชื่อมแล้ว เราเรัยกประพจน์ใหม่ว่า ประพจน์เชิงประกอบ ซึ่งตัวเชื่อมที่ใช้จะมี 5 ตัว คือ 1) ตัวเชื่อม และ ใช้ สัญลักษณ์ คือ " ∧ " 2) ตัวเชื่อม หรือ ใช้สัญลักษณ์ คือ " ∨ " 3) ตัวเชื่อม ถ้า... แล้ว... ใช้สัญลักษณ์ คือ " → " ...