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

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

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

משפט הדיכוטומיה

לכל קבוצת פסוקים plot:\[\Sigma \] ולכל plot:\[\alpha ,\beta \] מתקיים: אם plot:\[\Sigma  \cup \left\{ \alpha  \right\} \vdash \beta \] וגם plot:\[\Sigma  \cup \left\{ {\alpha  \to F} \right\} \vdash \beta \] אזי plot:\[\Sigma  \vdash \beta \].

תגיות המסמך:

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

תיקון

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

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