אם-אז – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
EmausBot (שיחה | תרומות)
מ בוט: מעביר קישורי בינויקי לויקינתונים - d:Q7881229
שורה 38:
 
== חוקי היפוך ==
* טענה מהטיפוס "<math>A \rightarrow B</math>" נקראת [[טענה פוזיטיבית]].
 
* כאשר משנים את מיקום המשתנים "<math>B \rightarrow A</math>" מדובר על [[טענה המנוגדת]] (converse) של הטענה המקורית. זה הוא [[כשל לוגי]] שכן מדובר על היפוך כיוון התנאי.
טענה מהטיפוס "אם A אז B" נקראת "טענה פוזיטיבית". הטענה "אם B אז A" היא ה-converse של הטענה המקורית, ואילו "אם לא A אז לא B" ה-inverse שלה. לבסוף, הטענה "אם לא B אז לא A" היא הטענה הקונטרה-פוזיטיבית. מכל אלה, רק האחרונה שקולה מבחינה לוגית לטענה הפוזיטיבית.
* אם לא A אז לא B ה[[טענה היפוכית]] (inverse) שלה.
* "אם לא B אז לא A" היא ה[[טענה קונטרה פוזיטיבית|טענה הקונטרה-פוזיטיבית]]. מבחינה לוגית, טענה זו היא היחידה שנכונה ביחס לטענה הפוזיטיבית.
 
==ראו גם==