כלל היסק – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ בוט: מעביר קישורי בינויקי לויקינתונים - d:q1068763 |
מ ←כללי היסק מול אקסיומות: תקלדה |
||
שורה 31:
==כללי היסק מול אקסיומות==
יש להבחין הבחנה חדה בין כללי ההיסק ובין ה[[אקסיומה|אקסיומות]]. אקסיומות הן טענות אמיתיות, המשמשות כבסיס לכל היסק במערכת. ואולם כללי ההיסק אינם חלק מן המערכת: הם כללים אודות המערכת, המאפשרים לנו לייצר היסק תקף או להבחין בין היסק תקף ושאינו תקף. משום כך, אין לראות בסימן <math> \vdash </math> [[קשר לוגי]], ואת הייצוג של הטיעון, <math>\ P\rarr Q, \ P \vdash Q </math> אין לראות כמשפט מתוך השפה שאנו מתארים, אלא כתיאור של קשר בין שלושה משפטים מתוך השפה. אילו היינו מנסים לתפוס את כלל ההיסק כאקסיומה, היינו נגררים לרגרסיה האינסופית אותה מתאר
==כללי ההיסק במערכת דדוקציה טבעית==
|