| פסוק אמיתי הוא כזה שמתקיים לכל בחירה של הפרדיקטים ולכל הצבה במשתנים | כל קַשָּׁר לוגי מייצג על ערכי האמת של האיברים המתקבלים כקלט, ומקושרת אליו ספציפית |
|---|---|
| דוגמא נוספת: הפתרון הכללי למשוואה דיפרנציאלית מסויימת הוא הפונקציה כאשר C הוא קבוע אין צורך לדעת מהי משוואה דיפרנציאלית כדי להצרין את הטענה הזו: קיים, מן הסתם, פרדיקט P המקבל ערך אמת T רק על פונקציות הפותרות את המשוואה, ואם כך הפסוק קובע ש"לכל y, אם אז קיים C כך ש- " | מצא מרחב אוניברסלי לכמתים שעבורו הפסוק אינו אמיתי חשוב על הפסוק "כל פיל מעופף יודע קרוא וכתוב; מכאן שיש פיל מעופף היודע קרוא וכתוב" |
| שייך ל: הבעה והבנה, תחביר | לא נכנס כאן לפרטים, שמהם מתפרנסים חוקרי הלוגיקה המתמטית |
|---|---|
| כל הטאוטולוגיות הן פסוקים אמיתיים, אבל ההיפך אינו נכון | אנחנו לא יכולים לבחור את x,y - וגם לא להניח שיש קשר מסויים ביניהם |
על מה מכמתים ראינו כמה טענות שכדי להביע אותן דרושים כמה כמתים, מקוננים זה בתוך זה.
12