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

מושגי יסוד

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

שלילת כמתים

הפסוק	שלילה
$\mathrm{\exists }x\in 𝔽s.tx\le 0$	$\mathrm{\forall }x\in 𝔽x>0$
$\mathrm{\forall }x\in 𝔽x=0_{𝔽}$	$\mathrm{\exists }x\in 𝔽x\ne 0$

שלילת פסוקים

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

הפסוק	שלילה
פסוק "או" ($(A)\vee (B)$)	$(\mathrm{\neg }A)\wedge (\mathrm{\neg }B)$
פסוק "וגם" (($(A)\wedge (B)$))	$(\mathrm{\neg }A)\vee (\mathrm{\neg }B)$
פסוק גרירה ($(A)\Rightarrow (B)$)	$(A)\wedge (\mathrm{\neg }B)$
פסוק שקילות $(A\iff B)$	זו שלילה כפולה $\mathrm{\neg }((A\Rightarrow B)\wedge (B\Rightarrow A))$ כלומר $(A\wedge \mathrm{\neg }B)\vee (B\wedge \mathrm{\neg }A)$