תוכן עניינים
1 יַחַס: הוכחה (לוגיקה מתמטית).
הוכחה (לוגיקה מתמטית)
בלוגיקה מתמטית, הוכחה היא סדרה סופית \ a_1,a_2,a_3,\cdots,a_n של פסוקים במסגרת שפת תחשיב יחסים נתונה, המורכבת מאקסיומות ומגזירות באמצעות כלל היסק (לרוב מודוס פוננס): לכל \ 1\leq i \leq n, \ a_i היא אקסיומה, או שקיימים \ i_1,\ldots,i_k כך ש-a_i נגזר מ-a_,\ldots, a_ לפי אחד מכללי ההיסק.
לִרְאוֹת הוכחה פורמלית והוכחה (לוגיקה מתמטית)