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

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

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

מערכת קשרים שלמה

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

משפט: מערכת הקשרים של תחשיב הפסוקים הינה שלמה.

הוכחת מערכת קשרים שלמים:

  1. הוכחה ישירה.
  2. התבססות על מערכת שלמה ידועה.

מערכות שלמות ידועות: plot:[left{ { eg , vee } ight},left{ { eg , wedge } ight},left{ { o ,F} ight}]

תגיות המסמך:

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

תיקון

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

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