7.3. מערכת ההוכחה H*כל האקסיומות וכללי ההיסק נשארים כמו ב-H למעט כלל REP, בהחלפת סוגריים מסולסלים בסוגריים משולשים. כלל REP החדש:
אין תגובות!
|
תוכן העניינים:
קישורים רלוונטיים:שיתוף: |
7.3. מערכת ההוכחה H*כל האקסיומות וכללי ההיסק נשארים כמו ב-H למעט כלל REP, בהחלפת סוגריים מסולסלים בסוגריים משולשים. כלל REP החדש:
אין תגובות!
|
תוכן העניינים:
קישורים רלוונטיים:שיתוף: |