דף הבית
אקראי
כניסה לחשבון
הגדרות
תרומה לוויקיספר
אודות ויקיספר
הבהרות משפטיות
חיפוש
חשבון אינפיניטסימלי/כמתים ושלילת פסוקים
שפה
מעקב
עריכה
<
חשבון אינפיניטסימלי
מושגי יסוד
עריכה
סימון
פירוש
a
∈
A
{\displaystyle a\in A}
האיבר
a
{\displaystyle a}
בקבוצה
A
{\displaystyle A}
∀
{\displaystyle \forall }
לכל
∃
{\displaystyle \exists }
קיים
s
.
t
{\displaystyle s.t}
s
u
c
h
t
h
a
t
{\displaystyle such\ that}
שלילת כמתים
עריכה
הפסוק
שלילה
∃
x
∈
F
s
.
t
x
≤
0
{\displaystyle \exists x\in \mathbb {F} \ \ \ s.t\ \ \ x\leq 0}
∀
x
∈
F
x
>
0
{\displaystyle \forall x\in \mathbb {F} x>0}
∀
x
∈
F
x
=
0
F
{\displaystyle \forall x\in \mathbb {F} \ \ \ x=0_{\mathbb {F} }}
∃
x
∈
F
x
≠
0
{\displaystyle \exists x\in \mathbb {F} \ \ \ x\neq 0}
שלילת פסוקים
עריכה
שלילת פסוקים נעשה באמצעות טבלאות אמת ושקר.
הפסוק
שלילה
פסוק "או" (
(
A
)
∨
(
B
)
{\displaystyle (A)\lor (B)}
)
(
¬
A
)
∧
(
¬
B
)
{\displaystyle (\lnot A)\land (\lnot B)}
פסוק "וגם" ((
(
A
)
∧
(
B
)
{\displaystyle (A)\land (B)}
))
(
¬
A
)
∨
(
¬
B
)
{\displaystyle (\lnot A)\lor (\lnot B)}
פסוק גרירה (
(
A
)
⇒
(
B
)
{\displaystyle (A)\Rightarrow (B)}
)
(
A
)
∧
(
¬
B
)
{\displaystyle (A)\land (\lnot B)}
פסוק שקילות
(
A
⇔
B
)
{\displaystyle (A\Leftrightarrow B)}
זו שלילה כפולה
¬
(
(
A
⇒
B
)
∧
(
B
⇒
A
)
)
{\displaystyle \lnot ((A\Rightarrow B)\land (B\Rightarrow A))}
כלומר
(
A
∧
¬
B
)
∨
(
B
∧
¬
A
)
{\displaystyle (A\land \lnot B)\lor (B\land \lnot A)}
בקבוצה 
