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

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

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

פסוקים מצורת DNF

  1. הגדרת conj – בסיס: plot:\[\left\{ {{p_i}|i \in \mathbb{N}} \right\} \cup \left\{ {\neg {p_i}|i \in \mathbb{N}} \right\} \cup \left\{ {T,F} \right\}\]. סגור: plot:\[\left\{ {{f_ \wedge }} \right\}\].

    דוגמא: plot:\[{p_1} \wedge \neg {p_2} \wedge {p_5}, & {p_1} \wedge T \wedge F\].
  2. הגדרת DNF – בסיס: conj. סגור: plot:\[\left\{ {{F_ \vee }} \right\}\].

    דוגמא: plot:\[\left( {{p_1} \wedge \neg {p_2}} \right) \vee \left( {{p_3} \wedge T} \right)\]. דוגמא לא נכונה: plot:\[\left( {{p_1} \vee {p_2}} \right) \wedge \left( {{p_3} \vee F} \right)\].

הערות:

  • בהוכחת השלמות של מערכת הקשרים של תחשיב הפסוקים בנינו לכל טבלת אמת פסוק מצורת DNF המממש אותה.
  • בהינתן פסוק plot:\[\alpha \], ניתן לבנות ל-plot:\[\alpha \] טבלת אמת ואז לממש את  טבלת האמת באמצעות פסוק plot:\[\alpha '\] מצורת DNF.

משפט ה-DNF: לכל פסוק plot:\[\alpha \] קיים פסוק שקול plot:\[\alpha '\] מצורת DNF.

תגיות המסמך:

לפרק הקודםמערכת הוכחה לתחשיב הפסוקים
לפרק הבאפסוקים מצורת CNF
מאת: bentz

תיקון

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

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