negation
นิเสธ:นิเสธของประพจน์ p หมายถึง ประพจน์ที่สามารถเขียนให้อยู่ในรูปที่มีข้อความ "ไม่เป็นความจริงที่ว่า" เติมอยู่ข้างหน้าประพจน์ p