שינויים
/* הכרת טיעונים */
#עונש הבא מהאל הוא למטרת נקמה בלבד.
*המסקנה - האל לא סולח.
=== ערך אמת ===
'''ערך אמת''' הוא אחת משתי האפשרויות - אמת או שקר, שמסמנים לשם הקיצור T ו-F (מ-True ו-False, כמובן). אם האטומים מפורטים מספיק (מי יגמור מה ומתי מאיזו צלחת), כל אטום מקבל ערך אמת. או שתגמור מהצלחת, או שלא. או שיבוא שוטר, או שלא. אם תגמור מהצלחת, אז ערך האמת של הפסוק "תגמור מהצלחת" הוא T, ואחרת, הוא F. זו הדרך לחבר את תמונת העולם של המציאות, עם הפסוקים הלוגיים הפורמליים.
שימו לב שערך האמת עשוי להיות T או F; אומרים "לפסוק יש ערך אמת T" או "לפסוק יש ערך אמת F", ולא "לפסוק יש ערך אמת" או "לפסוק יש ערך שקר". (למתחכמים: כתוב כאן - אומרים ("לפסוק יש ערך אמת T" או "לפסוק יש ערך אמת F"), ולא ("לפסוק יש ערך אמת" או "לפסוק יש ערך שקר"), ולא - אומרים "לפסוק יש ערך אמת T" או ("לפסוק יש ערך אמת F", ולא "לפסוק יש ערך אמת") או "לפסוק יש ערך שקר").
כאשר משייכים לכל אטום של פסוק לוגי ערך אמת, אפשר לחשב את ערך האמת של הפסוק עצמו. לשם כך יש להכיר את ה'''קשרים''' הלוגיים הבסיסיים.
'''דוגמא'''-
*"לעיגול אין פינות"
*"במשולש שווה שוקיים, חוצה הזוית מאונך לבסיס"
*"רווק הינו גבר שאינו נשוי"
*"גבר מעניין הינו רווק עם הרבה כסף"
*"לרוב, מרבית הסטודנטים עוברים את הקורס"
== פסוקים וקשרים ==
