T-Conorm
- Als Wahrheitswertfunktionen für Alternativen in der mehrwertigen Logik werden zumeist nur Funktionen akzeptiert die T-Conormen sind.
T-Conormen sind – wie T-Normen – zuerst in Untersuchungen zu verallgemeinerten Geometrien aufgetreten und haben Eigenschaften, die man von Wahrheitswertfunktionen mehrwertiger Alternativen erwartet.
Eine T-Conorm s ist eine zweistellige Funktion in der Menge der Quasiwahrheitswerte [0, 1], für die für alle Quasiwahrheitswerte x, y, z, u gilt:
- s(0, x) = x und s(1, x) = 1;
- s(x, y) &; s(u, z), falls x &; u und y &; z;
- s(x, y) = s(y, x);
- s(s(x, y), z) = s(x, s(y, z)).
- Jeder T-Norm t lässt sich eine T-Conorm s zuordnen, die wie folgt definiert ist:
- s (x, y) =df 1 – t(1 – x, 1 – y).
a – Axiom | Badische Schule – Buridians Esel | C – covering-law model | Daimonion – Dysteleologie | e – externe Relation | fallacia – Für-Wahr-Halten | G43-Implikation – Gruppe, Berliner | Halbierungsparadoxie – Hysteresis | i – Isosthenie der Argumente | judicium | K – Kyrieuon | language of thought – Lust, sinnliche | M – Münchhausentrilemma | N – nyāya-Schule | o – Oxymoron | P – Pythagoreismus | Quadrat, logisches – Quodlibetarier | R – Russell’s Antinomie | S – Szientismus | t – twin earth | Übel – utraque praemissa … | Vagheit – Vulgärmaterialismus | w – Würde | x – XYZ | Yager-Intersection – Yoga | Zadeh-1-Implikation – Zynismus