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

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

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

עץ יצירה

עץ שמתאר איך נבנה הפסוק מהאטומים על ידי הפעולות ייקרא עץ יצירה. כל צומת של העץ:

  • אם הצומת הוא עלה הוא מסומן באטום.
  • אם הצומת מסומן ב-plot:\[ \circ  \in \left\{ { \wedge , \vee , \to } \right\}\] אז יש לו שני בנים.
  • אם הצומת מסומן ב-plot:\[\neg \] אזי יש לו בן אחד.

תגיות המסמך:

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

תיקון

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

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