כתבה
arXiv cs.AI ·
מודוס טולנס והשקפות נגדיות והחלטה נגדית על פי שלושה סוגי הפרעה
Modus Tollens and Counterfactuals and Counterfactual Reasoning Based on Three Types of Negation
במאמר זה, הוצעו שלושה גרסאות שונות של מודוס טולנס, כאשר כל גרסה מבוססת על סוג של הפרעה. המאמר גם מציג שלושה סוגים שונים של השקפות נגדיות, כאשר כל סוג מבוסס על סוג של הפרעה. המאמר גם דן באלגוריתמים לחישוב ערך האמת של המודוס טולנס וההשקפות הנגדיות.
תקציר מקורי באנגליתarXiv:2609.07483v1 Announce Type: new Abstract: Modus Tollens (MT) is a classical logical inference rule, while counterfactuals are hypothetical statements that are contrary to facts, and counterfactual reasoning is a process of reasoning based on counterfactuals. Negation is an indispensable core concept in them. In this paper, based on the logical systems LCOI&PLCOI with contradictory negation, opposite negation and intermediary negation, we propose three variants of Modus Tollens corresponding to distinct negation types, namely MTC: Modus Tollens based on contradictory negation, MTO: Modus Tollens based on opposite negation, and MTI: Modus Tollens based on intermediary negation. We define the implications within MTC, MTO and MTI, provide the truth value algorithms of MTC, MTO and MTI, a
קרא במקור המקורי
arxiv.org
פתח כתבה מקורית