6.1.2. כלל הרזולוציהההנחה השנייה שאלגוריתם הרזולוציה מסתמך
עליה היא ההנחה כי מ- הוכחת ההנחה: נניח כי אם A נכון, אזי בפרט אם A אינו נכון, אז L חייב
להיות נכון, ולכן אם סוף ההוכחה. נשתמש בהנחה זו בהמשך כדי לצמצם פסוקיות ולקבל ביטויים פשוטים יותר. |
תוכן העניינים:
קישורים רלוונטיים:שיתוף: |
אבל הוא עדיין לא נפתח...