* ניתן להוסיף כאן שאלות והערות מכל סוג.
== שאלה קטנה ==
רק כדי לבדוק אם הבנתי... בסעיף 3 נאמר כי המשפט הוא טאוטולוגי (אם מההנחה "A או B" אפשר להסיק את A אז B מוכרח להיות שקרי), אבל לפני כן נאמר כי או במשמעות המתמטית הוא או חלש שמאפשר נכונות גם של A וגם של B, ואם ככה המשפט לא בהכרח תמיד נכון...?
== בתת-כותרת 5.2 "פסוקים אמיתיים", לא ברור לי דבר-מה ==