תנאי אמת

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

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

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

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

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

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

ערכים נוספים[עריכת קוד מקור | עריכה]