טאוטולוגיה (לוגיקה) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ בוט מוסיף: bg:Тавтология (логика) |
מ בוט החלפות: מאחר ש |
||
שורה 5:
הסימן המתמטי לייצוג טאוטולוגיה הוא <math>\models</math>: מסמנים φ<math>\ \models</math> כדי לומר ש- φ טאוטולוגיה.
[[לודוויג ויטגנשטיין]], בספרו "מאמר לוגי פילוסופי", מציג את המשפטים המתארים טאוטולוגיות וסתירות כמשפטים "ללא-מובן" ומייצגים את גבול הטענות אודותיהם, לדעתו, ניתן לדבר. מעבר אליהם נמצאות הטענות "חסרות המובן" (שלא ניתן להצמיד אליהם ערך אמת או שקר כלל מאחר
[[קטגוריה: לוגיקה מתמטית]]
|