Get Babylon's Translation Software!
Free Download Now!
| ויקיפדיה העברית | הורד מילון זה |
טאוטולוגיה (לוגיקה)
בלוגיקה, טאוטולוגיה היא פסוק שהוא תמיד אמת בהגדרתו. פסוק שהוא תמיד שקר נקרא סתירה; כך, שלילתה של טאוטולוגיה היא סתירה, ולהיפך.בתחשיב הפסוקים, פסוק הוא טאוטולוגיה אם הוא תמיד אמיתי ללא תלות לערכי האמת של תת-פסוקיו. לדוגמה, המשפט "או שכל הבתים לבנים או שיש לפחות בית אחד שאינו לבן" הוא טאוטולוגיה לוגית שכן הוא אמיתי תמיד, בלי תלות בצבע הבתים. בצורה פורמלית, כאשר X ייצג את הביטוי "כל הבתים לבנים" יתקבל שיהיה אמיתי תמיד וללא תלות בערך האמת של X.
להמשך המאמר ראה Wikipedia.org...
