Looking for Diskreetne matemaatika (LTMS.00.066) test answers and solutions? Browse our comprehensive collection of verified answers for Diskreetne matemaatika (LTMS.00.066) at moodle.ut.ee.
Get instant access to accurate answers and detailed explanations for your course questions. Our community-driven platform helps students succeed!
Ülesanne. Tõesta järeldumine ¬∃xF(x) ⊨ ∀x¬F(x).
Tõestus.
Mis lause sobiks tõestusse esimeseks?
Koostati tingimuse F = 1 tõesuspuu ja osutus, et tõesuspuus olid kõik harud vastuolulised. Märgi kõik väited, mis sellest järelduvad.