Research Article
A Modern Syllogistic Method in Intuitionistic Fuzzy Logic with Realistic Tautology
Table 1
MSM derivation of fuzzy versions of famous rules of inference
the particular conclusion of a rule is highlighted in bold
.
| Rule name | Fuzzy RFT antecedents (premises) | Premises as separate fuzzy equations , | Premises as a single fuzzy equation RFT | Conclusions as a single fuzzy equation RFT | Conclusions as separate fuzzy equations , | Fuzzy RFT consequence (conclusion) |
| MODUS PONENS |
|
| | |
| |
| MODUS TOLLENS |
|
| | |
| |
| HYPOTHETICAL SYLLOGISM |
|
| | |
| |
| SIMPLIFICATION | | | | |
| |
| CONJUNCTION |
|
| | | | |
| CONSTRUCTIVE DILEMMA |
|
|
|
|
| |
| DISJUNCTIVE SYLLOGISM |
|
| | |
| |
| ADDITION | | | | | An alterm subsuming an RFT alterm is also RFT | |
| ABSORPTION | | | | | by reflection law | |
| CASES |
|
|
| |
| |
| CASE ELIMINATION |
|
| |
| and | |
| REDUCTIO AD ABSURDUM (CONTRADICTION) | | | | |
| |
|
|