Ülesanne. Tõesta järeldumine ¬∃xF(x) ⊨ ∀x¬F(x).
Tõestus. Fikseerime interpretatsiooni α ja vabade muutujate väärtused. Eeldame, et ¬∃xF(x) = 1 .

Mis lause sobiks järgmiseks?

Question

Ülesanne.  Tõesta järeldumine ¬∃xF(x) ⊨ ∀x¬F(x). 
 Tõestus.  Fikseerime interpretatsiooni α ja vabade muutujate väärtused. Eeldame, et  ¬∃xF(x) = 1 . 
 
 Mis lause sobiks järgmiseks?

Accepted Answer

Siis ∃xF(x) = 0.

Answer

Siis ∀xF(x) = 0.

Answer

Siis mingi elemendi m ∈ M α  puhul ¬F(m) = 1.

Answer

Siis leidub element m ∈ M α , et F(m) = 0.

Answer

Siis leidub element m ∈ M α , et F(m) = 1.

Crowdly

Ülesanne. Tõesta järeldumine ¬∃xF(x) ⊨ ∀x¬F(x). Tõestus. Fikseerime interpre...

Want instant access to all verified answers on moodle.ut.ee?