 |
לוגית, המשפט "כל העולם כולו גשר צר מאוד" הוא מסוג "כל X הוא Y" כאשר X הוא "העולם כולו" וY הוא "גשר צר מאוד". תחליפי את X ב"צפרדעים סגולות" ואת Y ב"יודעות לעוף" ותקבל "כל הצפרדעים הסגולות יודעות לעוף" (שהוא, למיטב ידיעתי, משפט נכון). מזה אפשר להסיק ש"מה שלא יודע לעוף אינו צפרדע סגולה" אבל אי אפשר להסיק ש"יש צפרדע שיודעת לעוף" ובטח שלא ש"יש צפרדע שיודעת לעוף ושהיא גם סגולה", ועל אחת כמה וכמה לא ש"יש צפרדעים שיודעות לעוף, והן כל הצפרדעים הסגולות".
לוגית, המשפט "אם תלך, גיל יחבק אותי" הוא משפט תנאי, "אם יקרה X, יקרה Y". המשמעות שלו היא שX יכול לקרות או שלא, וY יכול לקרות או שלא, אבל לא יכול להיות מצב בו X קרה, וY לא. ז"א, מתוך ארבע אפשרויות (X קרה וY קרה, X קרה וY לא קרה, X לא קרה וY לא קרה, X לא קרה וY קרה) יש שלוש אפשריות (כולן חוץ מ- X קרה וY לא קרה). כמובן שלמשפט ההפוך יש גם שלוש אפשרויות אפשריות (כולן חוץ מ- Y קרה וX לא קרה) וכמובן שהאפשרות הבלתי אפשרית כאן דווקא אפשרית במשפט המקורי. כמו שהמשפט "אם יהיה מחר יפה נלך לטיול" לא זהה למשפט "אם הלכנו לטיול, סימן שהיה יום יפה" בגלל שהמשפט הראשון נכון גם אם היה יום לא יפה והלכנו לטיול, והמשפט השני נכון גם אם לא הלכנו לטיול והיה יום יפה.
|
 |
RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש