'''פסוק אמיתי''' הוא כזה שמתקיים לכל בחירה של הפרדיקטים ולכל הצבה במשתנים. כל הטאוטולוגיות הן פסוקים אמיתיים, אבל ההיפך אינו נכון. לא נכנס כאן לפרטים, שמהם מתפרנסים חוקרי הלוגיקה המתמטית.
'''כיצד מוכיחים'''. זוהי דרך המלך להוכחה או סתירה של טענות:
* כדי להוכיח שהפסוק <math>\ \forall x : P(x)</math> אמיתי, יש להראות שהטענה P נכונה לכל ערך אפשרי של x.
* כדי להוכיח שהפסוק <math>\ \exists x : P(x)</math> אמיתי, יש למצוא ערך של x שעבורו הטענה אינה נכונה ("דוגמא").
* כדי להוכיח שהפסוק <math>\ \forall x : P(x)</math> שקרי, יש למצוא ערך של x שעבורו הטענה אינה נכונה ("דוגמא נגדית").
* כדי להוכיח שהפסוק <math>\ \exists x : P(x)</math> שקרי, יש להראות שהטענה P אינה נכונה לכל ערך אפשרי של x.
בפרק האחרון נחזור להוכחות ונעסוק בהן בהרחבה. למרות שרוב ההוכחות הולכות בדרך המלך, לפעמים יש דרכים קצרות ומתוחכמות יותר.
'''תרגיל'''. קבע אלו מהפסוקים הבאים הם אמיתיים, כאשר הסימנים "לכל" ו"קיים" פירושם "לכל מספר שלם" ו"קיים מספר שלם". אם הפסוק אינו אמיתי, בחר פרדיקטים ומשתנים המדגימים זאת.