Loogikatehete üldistus väidete hulkadele
Karmo Talts
Vaatame võimalusi loogikatehete üldistamiseks väidete hulkadele. Kui väidete hulka X kuuluvast väitest järeldub vasturääkivus, siis pole kõigi X-i kuuluvate väidete konjunktsioon tõene. Kui kõik väited väidete hulgas X on tõesed ja kui kõik väited väidete hulgas Y on tõesed, siis on X ja Y-isse kuuluvate väidete konjunktsioon tõene. Kui kõik väited väidete hulgas X on tõesed, siis on tõene kõigi väidete hulga X kuuluvate väidete konjunktsiooni ja väidete hulka Y kuuluvate väidete konjunktsiooni disjunktsioon. Kui X-i kuuluvate väidete konjunktsiooni abil saab tõestada Y-isse kuuluvate väidete konjunktsiooni, siis juhul, kui kõik X-i kuuluvad väited on tõesed, siis on kõik Y-isse kuuluvad väited tõesed.
Kommentaare ei ole:
Postita kommentaar