Negasi operasi yang mengubah proposisi P menjadi proposisi "tidak P", ditulis ¬p, yang dapat diartikan secara intuitif sebagai benar saat P bernilai salah, dan
Negasi operasi yang mengubah proposisi P menjadi proposisi "tidak P", ditulis ¬p, yang dapat diartikan secara intuitif sebagai benar saat P bernilai salah, dan
Negasi operasi yang mengubah proposisi P menjadi proposisi "tidak P", ditulis ¬p, yang dapat diartikan secara intuitif sebagai benar saat P bernilai salah, dan