תכונות של מערכת הוכחה
שימושים למשפט הדדוקציה
1) 2) 3) F (MP 1, 2)
1) 2) 3) 4) 5) F (MP 3, 4) תגיות המסמך: |
תוכן העניינים:
קישורים רלוונטיים:שיתוף: |
תכונות של מערכת הוכחה
שימושים למשפט הדדוקציה
1) 2) 3) F (MP 1, 2)
1) 2) 3) 4) 5) F (MP 3, 4) תגיות המסמך: |
תוכן העניינים:
קישורים רלוונטיים:שיתוף: |
תיקון
מציעה להחליף את(a¬)
ב
a¬
שכן (a¬) אינו פסוק