ויקיספר

לוגיקה: הבדלים בין גרסאות בדף

עיון אינטראקטיבי בהיסטוריה
→ העריכה הקודמתהעריכה הבאה ←
תוכן שנמחק תוכן שנוסף
חזותיקוד ויקי
אין תקציר עריכה
שורה 17:
 
== תחשיב פסוקים ==
מושגים:
כדי שנוכל להתחיל לדבר על תחשיב הפסוקים, קודם עלינו להגדיר מהו פסוק. פסוק הוא טענה שהיא תמיד אמת או תמיד שקר. דוגמאות: "השמיים כחולים" , "2+3=5" , "יוסי הוא זכר וגם 4+5=89". לכל אחד מאלה יש "ערך אמת" שהוא או שקר, או אמת, אך לעולם לא שניהם. ערך האמת של "2+3=5" הוא אמת (True. יסומן לרוב באות T) וערך האמת של "השמיים ירוקים" הוא שקר (False. יסומן לרוב באות F)
טאוטולוגיה-משפט שתמיד נכון ללא קשר לתוכנו, לדוגמה: a או לא a.
קונטרדיקציה (סתירה)- משפט שתמיד לא נכון ללא קשר לתוכנו, לדוגמה: a וגם לא a.
 
טבלאות אמת-טבלה שבה מסמנים את ערכי האמת של כל משפט על סמך ערכי האמת של הפסוקים האטומים.
 
== נכון או לא נכון ==
אוחזר מתוך "https://he.wikibooks.org/wiki/לוגיקה"