ตรรกศาสตร์

ประพจน์คือข้อความที่มีค่าความจริงเป็นจริงหรือเท็จ แต่ไม่สามารถเป็นทั้งสองอย่างได้ในเวลาเดียวกัน.

ค่าความจริงของประพจน์คือสถานะที่บ่งบอกว่าประพจน์นั้นเป็นจริง (T) หรือเท็จ (F).

T หมายถึง 'จริง' และ F หมายถึง 'เท็จ'.

การเชื่อมโยงทางตรรกศาสตร์คือสัญลักษณ์ที่ใช้ในการสร้างประพจน์ใหม่จากประพจน์ที่มีอยู่ เช่น AND (∧), OR (∨), NOT (~), IMPLIES (→), และ IFF (↔).

ประพจน์ที่ใช้ AND (∧) จะเป็นจริงก็ต่อเมื่อทั้งสองประพจน์ที่เชื่อมโยงกันเป็นจริง.

ประพจน์ที่ใช้ OR (∨) จะเป็นจริงถ้าประพจน์อย่างน้อยหนึ่งในสองประพจน์ที่เชื่อมโยงกันเป็นจริง.

สัญลักษณ์ NOT (~) ใช้เพื่อกลับค่าความจริงของประพจน์ เช่น ถ้าประพจน์เป็นจริง จะกลายเป็นเท็จ.

การเขียนประพจน์ในรูปสัญลักษณ์คือการใช้สัญลักษณ์ทางตรรกศาสตร์แทนข้อความที่เป็นประพจน์เพื่อให้เข้าใจง่ายขึ้น.

IMPLIES (→) แสดงความสัมพันธ์ว่า ถ้าประพจน์แรกเป็นจริง ประพจน์ที่สองจะต้องเป็นจริงด้วย.

IFF (↔) แสดงความสัมพันธ์ว่า ประพจน์ทั้งสองมีค่าความจริงเหมือนกัน คือทั้งสองเป็นจริงหรือทั้งสองเป็นเท็จ.