חשבון אינפיניטסימלי/כמתים ושלילת פסוקים: הבדלים בין גרסאות בדף

|| זו שלילה כפולה <math>\lnot((A\Rightarrow B)\land (B\Rightarrow A))</math> כלומר <math>(A\land B)\lor(B\land \lnot A)</math>

|}