תנאי אמת

תנאי אמת הם התנאים אותם יש לדעת כדי שמשפט מסוים ישפט כאמיתי.

המשפט "הדלת סגורה", למשל, יחשב כאמיתי רק במצב עניינים בו יש דלת סגורה, ללא קשר לשאר העובדות במצב עניינים זה. בין אם המדובר בדלת מעץ או מנחושת, כל עוד הדלת סגורה המשפט ישפט כאמת. 

תנאי האמת של המשפט, "האיש איים על הילד עם הרובה" הם מסובכים קצת יותר, מכיוון שמשפט זה הוא דו-משמעי. המשפט יהא נכון אם ורק אם מצב העניינים אותו הוא מתאר מכיל אדם, שמאיים עם רובה על ילד, או לחלופין אדם המאיים על ילד, שנושא רובה.

משפט יכול להיות אמיתי גם אם אחד ממרכיביו הוא שקרי. המשפט "דן מת או שדינה מתה" מאפשר שאחד מחלקיו יהא שקר, כל עוד חלקו השני יהא אמיתי. 

לעיתים ידיעת אמיתותו של משפט אחד גוררת את אמיתותו של משפט אחר. כך, למשל, אם המשפט "הכלב שלי חולה" הוא אמיתי, אז גם המשפטים "יש לי כלב" ו"קיים כלב חולה" הם אמיתיים.

ראו גם
 סמנטיקה
 לוגיקה
 ערך אמת

קישורים חיצוניים

ערכים שבהם תבנית בריטניקה אינה מתאימה
לוגיקה