transformace soudu
Logika, přeměna soudu v nový soud, který vyplývá ze soudu původního. Konverze je transformace soudu, při níž jsou zaměněny predikát a subjekt (například „každé S je P“ konvertuje ve výrok „některá P jsou S“ nebo „každé ne P je ne S“). Obverze je transformace soudu, kdy je predikát zaměněn predikátem protikladným (například „každé S je P“ ve výrok „žádné S není P“). Správné transformace soudu zachovávají pravdivostní hodnoty původního výrazu.
Vytvořeno:
14. 3. 2000
Aktualizováno:
6. 9. 2000
Autor: -red-