Eituse sissetoomise üldistus
Karmo Talts
Üldistame eituse sissetoomise. Kui P-st järeldub, et Q-l on korraga kõige madalam ja kõige kõrgem tõeväärtus, siis on P-l madalaim neist kahest tõeväärtusest. Seega juhul, kui P-st järeldub, et Q-l on korraga tõeväärtus x ja tõeväärtus y, siis on P-l madalaim neist kahest tõeväärtusest.
Kommentaare ei ole:
Postita kommentaar