transformace soudu
transformace soudu, log . přeměna soudu v nový soud, který vyplývá ze soudu původního. Ko n ve rze je t. s., při níž jsou zaměněny predikát a subjekt (např. ,,každé S je P " konvertuje ve výrok ,,některá P jsou S " nebo ,,každé ne P je ne S "); ob verze je t. s., kdy je predikát zaměněn predikátem protikladným (např. ,,každé S je P " ve výrok ,,žádné S není P "). Správné t. s. zachovávají pravdivostní hodnoty pův. výrazu.
