חשבון אינפיניטסימלי/כמתים ושלילת פסוקים

מושגי יסוד

סימון	פירוש
$a\in A$	האיבר $a$ בקבוצה $A$
$\forall$	לכל
$\exists$	קיים
$s.t$	$such\ that$

שלילת כמתים

הפסוק	שלילה
$\exists x\in \mathbb {F} \ \ \ s.t\ \ \ x\leq 0$	$\forall x\in \mathbb {F} x>0$
$\forall x\in \mathbb {F} \ \ \ x=0_{\mathbb {F} }$	$\exists x\in \mathbb {F} \ \ \ x\neq 0$

שלילת פסוקים

שלילת פסוקים נעשה באמצעות טבלאות אמת ושקר.

הפסוק	שלילה
פסוק "או" ($(A)\lor (B)$)	$(\lnot A)\land (\lnot B)$
פסוק "וגם" (($(A)\land (B)$))	$(\lnot A)\lor (\lnot B)$
פסוק גרירה ($(A)\Rightarrow (B)$)	$(A)\land (\lnot B)$
פסוק שקילות $(A\Leftrightarrow B)$	זו שלילה כפולה $\lnot ((A\Rightarrow B)\land (B\Rightarrow A))$ כלומר $(A\land \lnot B)\lor (B\land \lnot A)$