Loogika teoreemide laiendus väidete hulkadele
Karmo Talts
Vaatame võimalusi laiendada loogika teoreeme väidete hulkadele. Kui kõik väited väidete hulgas X on tõesed, siis on tõesed kõigi X-i kuuluvate väidete kahekordsed eitused. Kui väidete hulgast X järeldub vasturääkivus, siis on vähemalt üks X-i kuuluv väide väär. Kui kõik väited väidete hulgas X on tõesed ja kõik väited väidete hulgas Y on tõesed, siis on kõigi X-i kuuluvate ja kõigi Y-isse kuuluvate väidete konjunktsioon tõene. Kui kõik väited väidete hulgas X on tõesed, siis on kõik väited väidete hulgas X tõesed või on kõik väited väidete hulgas Y tõesed. Kui väidete hulk X tõestab väidete hulga Y, siis juhul, kui X-i kuuluvad väited on tõesed, siis on Y-isse kuuluvad väited tõesed.
Kommentaare ei ole:
Postita kommentaar