טאוטולוגיה פרקטית ויפה
שלום הרב,
לפי הבנתי, טאוטולוגיה היא משפט חסר תוכן מכיוון שהוא תמיד אמת. למשל המשפט x = x הוא חסר תוכן מכיוון שהוא תמיד אמת.
אמנם, משפטים מתמטיים למשל, שהם טאוטולוגיים בהכרח (מכיוון שהם אמורים x = x), כן יכולים לייצר תוכן חדש, כמו יישומים פרקטיים. לדוגמא: בעזרת משפט פיתגורס אפשר לדעת האם המשולש שלפני הוא ישר זווית.
איך זה יכול להיות שמשפט טאוטולוגי חסר תוכן יכול ליצור תוכן?