ตัวเชื่อมทางตรรกศาสตร์ (Logical connective)
การน าประพจน์เชิงเดี่ยวตั้งแต่สองประพจน์ขึ้นไปมาสร้างประพจน์เป็นประพจน์ใหม่ เราต้องอาศัย
ตัวเชื่อมทางตรรกศาสตร์ มาใช้ในการเชื่อมประพจน์ โดยตัวเชื่อมนั้นมีด้วยกันทั้งหมด 5 ตัวเชื่อม ได้แก่ “และ”
“หรือ” “ถ้า…แล้ว…” “…ก็ต่อเมื่อ…” “ไม่”
การเชื่อมประพจน์เข้าด้วยกันนั้นเพื่อให้เกิดความสะดวกและชัดเจน เรามักจะใช้พยัญชนะภาษาอังกฤษ
เช่น p, q, r
และอื่นๆ แทน ประพจน์
“T” แทน ค่าความจริงที่เป็นจริง (True)
“ F” แทน ค่าความจริงที่เป็นเท็จ (False)
“ Λ” แทน “และ” (and)
“∨” แทน “หรือ” (or)
“→” แทน “ถ้า…แล้ว…” (if…then…)
“↔” แทน “…ก็ต่อเมื่อ…” (…if and only if…)
“ ∼” แทน “ไม่” หรือ “นิเสธ” (not)
ตัวบ่งปริมาณ ได้แก่
“∀” แทน “ทั้งหมด, ทุกๆสิ่ง” (for all) และ
“∃” แทน “บางสิ่ง” (for some)
