שינויים

בעת שלילה של פסוק לוגי, הכמתים 'לכל' ו'קיים' מתחלפים זה עם זה, והשלילה עוברת הלאה. את השלילה כלומר לכל פרדיקט <math>P</math>, * <math>\ \neg \forall x: P(x) \equiv \exists x: \neg P(x)</math>, וכך גם* <math>\ \neg \exists x: P(x) \equiv \forall x: \neg P(x)</math>. שלילה על הקשרים ניתן לבצע באמצעות טאוטולוגיות וטבלאות אמת.