הועלה לאתר:  
מספר עמודים: 25
הורדת המסמך בגרסה להדפסהלהורדת המסמך בשלמותו

לוגיקה - סיכום נקודות

סיכום מאת: ניר אדר

ערך האמת של פסוק

בהינתן השמה plot:\[z:\left\{ {{p_i}|i \in \mathbb{N}} \right\} \to \left\{ {0,1} \right\}\] ערך האמת של הפסוק plot:\[\delta \] מחושב באופן הבא:

אם plot:\[\delta \] פסוק אטומי אזי plot:\[\bar z\left( \delta  \right) = z\left( \delta  \right)\]. אם plot:\[\delta  = T\] אזי plot:\[\bar z\left( \delta  \right) = 1\]. אם plot:\[\delta  = 0\] אזי plot:\[\bar z\left( \delta  \right) = 0\].

אם plot:\[\delta  = \left( {\alpha  \circ \beta } \right)\] עבור plot:\[ \circ  \in \left\{ { \vee , \wedge , \to } \right\}\] אזי plot:\[\bar z\left( \delta  \right) = T{T_ \circ }\left( {\bar z\left( \alpha  \right),\bar z\left( \beta  \right)} \right)\] אחרת אם plot:\[\delta  = \left( {\neg \alpha } \right)\] אזי plot:\[\bar z\left( \delta  \right) = T{T_\neg }\left( {\bar z\left( \alpha  \right)} \right)\].

plot:\[T{T_\neg }\]:

plot:\[\alpha \]

plot:\[(\neg \alpha )\]

0

1

1

0

plot:\[T{T_ \vee }\]:

plot:\[\alpha \]

plot:\[\beta \]

plot:\[(\alpha  \vee \beta )\]

0

0

0

0

1

1

1

0

1

1

1

1

plot:\[T{T_ \wedge }\]:

plot:\[\alpha \]

plot:\[\beta \]

plot:\[(\alpha  \wedge \beta )\]

0

0

0

0

1

0

1

0

0

1

1

1

plot:\[T{T_ \to }\]:

plot:\[\alpha \]

plot:\[\beta \]

plot:\[(\alpha  \to \beta )\]

0

0

1

0

1

1

1

0

0

1

1

1

סימון: מסמנים plot:\[z \vDash \alpha \] אם plot:\[\bar z\left( \alpha  \right) = 1\] ואומרים plot:\[z\] מספקת את plot:\[\alpha \].

תגיות המסמך:

לפרק הקודםאלגוריתם לבניית עץ יצירה עבור פסוק α
לפרק הבאמשפט הקריאה היחידה
מאת: bentz

תיקון

מציעה להחליף את
(a¬)
ב
a¬
שכן (a¬) אינו פסוק
מאת: משה ב

סמנטיקה
שיתוף:
| עוד