תחשיב פסוקים הוא דרך רשמית לבדוק טענות אמיתיות או שקריות. המערכת מסתכלת רק על "אמת" ו"שקר", לא על התוכן.
אם אומרים: "אם חרק הוא נמלה אז הוא חי בתל" ו"החרק הוא נמלה", אז המסקנה היא שהוא חי בתל. זהו סוג של חשיבה לוגית פשוטה.
משנים משפטים לאותיות קבועות. כל אות מייצגת טענה אחת.
קשרים חשובים:
- שלילה: אומר "לא".
- וגם (הלחם): אומר ששני דברים נכונים.
- או: אומר שאחד מהדברים נכון.
- אם-אז: אומר שאם האחד נכון אז השני נכון.
נוסחאות נכונות נכתבות כך שאי אפשר לקרוא אותן בשתי דרכים שונות.
טבלת אמת מראה לכל אפשרות של אמת ושקר מה יינתן במשפט המורכב. יש משפטים שאמיתיים תמיד, אלה נקראים טאוטולוגיות. יש משפטים ששקריים תמיד, אלה סתירות.
טבלאות אמת עוזרות לבדוק אם הנחות נכונות ובכל זאת המסקנה שגויה. זאת דרך טובה למצוא שגיאות בלוגיקה.
יש מערכות שמראות איך להוכיח דברים חוקית. לכל קשר יש כללים להכניסו ולהוציאו, וכך בונים הוכחות נכונות.
אם אומרים: "אם חרק הוא נמלה אז הוא חי בתל" ו"החרק הוא נמלה", אז המסקנה היא שהוא חי בתל. זהו סוג של חשיבה לוגית פשוטה.
משנים משפטים לאותיות קבועות. כל אות מייצגת טענה אחת.
קשרים חשובים:
- שלילה: אומר "לא".
- וגם (הלחם): אומר ששני דברים נכונים.
- או: אומר שאחד מהדברים נכון.
- אם-אז: אומר שאם האחד נכון אז השני נכון.
נוסחאות נכונות נכתבות כך שאי אפשר לקרוא אותן בשתי דרכים שונות.
טבלת אמת מראה לכל אפשרות של אמת ושקר מה יינתן במשפט המורכב. יש משפטים שאמיתיים תמיד, אלה נקראים טאוטולוגיות. יש משפטים ששקריים תמיד, אלה סתירות.
טבלאות אמת עוזרות לבדוק אם הנחות נכונות ובכל זאת המסקנה שגויה. זאת דרך טובה למצוא שגיאות בלוגיקה.
יש מערכות שמראות איך להוכיח דברים חוקית. לכל קשר יש כללים להכניסו ולהוציאו, וכך בונים הוכחות נכונות.
עדיין אין תגובות. היה הראשון להגיב!
תגובות גולשים