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.

Datum vytvoření: 14. 3. 2000
Datum aktualizace: 6. 9. 2000
Autor: -red-

Odkazující hesla: důkaz, konverze, obverze.

Reklama: