‫הגדרות ומשפטים בקורס לוגיקה‬

‫‪ 23‬בינואר ‪2021‬‬

‫‪ .1‬שני פסוקים מורכבים יסודיים שלכל הצבת ערכים לפסוקים היסודיים נותנים אותם ערכים‬
‫נקראים פסוקים שקולים‪.‬‬

‫‪ .2‬משפט הקריאה היחידה‪ :‬יש רק דרך אחת להבין כל פסוק‪.‬‬

‫‪ .3‬בכל פסוק ‪ φ‬מספר הסוגריים השמאליים )פתח סוגריים( שווה למספר הסוגריים הימניים(‪.‬‬

‫‪ .4‬לכל רישא ממש של כל נוסחה שמכילה סוגר שמאלי‪ ,‬מספר הסוגריים השמאליים גדול‬
‫ממש ממספר הסוגריים הימניים‪.‬‬

‫‪ .5‬כל פסוק שיש בו סוגריים לא יכול להיות רישא ממש של פסוק אחר‪.‬‬

‫‪ .6‬לכל פסוק ‪ φ‬מתקיימות אחת ורק אחת מן האפשרויות‪:‬‬

‫‪ φ .1‬פסוק יסודי‪.‬‬
‫‪ φ .2‬פסוק מהצורה ‪.¬φ1‬‬
‫‪ φ .3‬פסוק מהצורה ) ‪ (φ1 ?φ2‬כאשר ‪ φ1 , φ2‬נקבעים באופן יחיד ע“י ‪.φ‬‬

‫‪ .7‬לכל פסוק קיים עץ בנייה יחיד‪.‬‬

‫‪ .8‬קבוצה של קשרים תקרא שלמה פונקציונלית אם אפשר לבטא בעזרתה כל פונקציית אמת‪.‬‬

‫‪ DN F = ∨(ξ1 ∧ ... ∧ ξn ) .9‬כאשר ‪ ξi‬ליטרל )משתנה או שלילתו(‪.‬‬

‫‪ N OR, N AN D, {→, ¬} ,{∨, ¬} ,{∧, ¬} ,{∨, ∧, ¬} .10‬שלמים פונקציונלית‪.‬‬

‫תזכורת‪:‬‬
‫‪ N AN D‬מסומנת ב־ ומוגדרת באופן‪.(φ  ψ) = ¬(φ ∧ ψ) :‬‬
‫‪ N OR‬מסומנת ב־ ומוגדרת באופן‪.(φ  ψ) = ¬(φ ∨ ψ) :‬‬

‫‪ N OR ,N AN D .11‬הקשרים הדו־מקומיים היחידים ששלמים פונקציונלית‪.‬‬

‫‪ .12‬קבוצה של פסוקים מורכבים }‪ {φ1 , φ2 , φ3 , ...‬נקראת ספיקה אם קיימת השמה לכל‬

‫הפסוקים היסודיים שמופיעים בהם שנותנת ערך אמת ‪ T‬לכל פסוק ‪ φi‬בקבוצה‪.‬‬

‫‪1‬‬
‫‪ .13‬עבור קבוצת פסוקים ‪ Σ‬ופסוק ‪ φ‬נסמן ב־‪ Σ |= φ‬ונאמר ש־‪ Σ‬גוררת לוגית )מנביעה(‬
‫את ‪ φ‬אם לכל הצבה שנותנת ערך ‪ T‬לכל הפסוקים ב־‪ ,Σ‬גם ‪ φ‬מקבל ערך ‪.T‬‬

‫‪ Σ ∪ {¬φ} .14‬לא ספיקה ⇒⇐ ‪.Σ |= φ‬‬

‫‪ .15‬תהי ‪ Σ‬קבוצת פסוקים‪ .‬נגדיר סדרת הוכחה מ־‪ Σ‬להיות סדרה של פסוקים כך שכל‬
‫איבר בסדרה מקיים את אחד התנאים הבאים‪:‬‬
‫‪ .1‬הוא פסוק מ־‪.Σ‬‬
‫‪ .2‬הוא אקסיומה לוגית‪.‬‬
‫‪ .3‬הוא פסוק ‪ ψ‬כך ש־‪ φ, φ → ψ‬הם שני פסוקים שהופיעו קודם לכן בסדרה‪.‬‬

‫אם הפסוק האחרון בסדרה הוא ‪ ,φn‬נאמר על הסדרה שהיא הוכחה של ‪ φn‬וש־‪Σ‬‬
‫מוכיחה את ‪ φn‬ונסמן‪:‬‬

‫‪Σ ⊢ φn‬‬

‫‪ .16‬לכל ‪ φ‬מתקיים‪.⊢ (φ → φ) :‬‬

‫‪ .17‬משפט הדדוקציה‪.Σ ⊢ (φ → ψ) ⇐⇒ Σ ∪ {φ} ⊢ ψ :‬‬

‫‪ .18‬טרנזיטיביות‪.{(φ → ψ), (ψ → η)} ⊢ (φ → η) :‬‬

‫‪ .19‬סתירה גוררת הכל‪ {¬φ, φ} ⊢ ψ :‬לכל ‪.ψ‬‬

‫‪ .20‬משפט השלמות והנאותות‪.Σ ⊢ φ ⇐⇒ Σ |= φ :‬‬

‫‪2‬‬