== שאלה קטנה ==
רק כדי לבדוק אם הבנתי... בסעיף 3 נאמר כי המשפט הוא טאוטולוגי (אם מההנחה "A או B" אפשר להסיק את A אז B מוכרח להיות שקרי), אבל לפני כן נאמר כי או במשמעות המתמטית הוא או חלש שמאפשר נכונות גם של A וגם של B, ואם ככה המשפט לא בהכרח תמיד נכון...?
:היכן נאמר שפסוק זה טאוטולוגי? במשפט לאחר מכן נאמר באופן כללי שמשפט שכל ההשמות שלו נותנות אמת הוא טאוטולוגי, לאו דווקא הדוגמא לעיל --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>
== בתת-כותרת 5.2 "פסוקים אמיתיים", לא ברור לי דבר-מה ==