Ülesanne. Tõesta järeldumine ∀x(F(x)∨G) ⊨ ∀xF(x)∨G.
Tõestus. Valime vabalt interpretatsiooni α ja vabade muutujate väärtused.

Mis lause sobiks järgmiseks?

Question

Ülesanne.  Tõesta järeldumine ∀x(F(x)∨G) ⊨ ∀xF(x)∨G. 
 Tõestus.  Valime vabalt interpretatsiooni α ja vabade muutujate väärtused. 
 
 Mis lause sobiks järgmiseks?

Accepted Answer

Eeldame, et ∀x(F(x)∨G) = 1.

Answer

Oletame vastuväiteliselt, et ∀x(F(x)∨G) = 0.

Answer

Eeldame, et ∀xF(x)∨G = 1.

Answer

Eeldame, et järeldumine kehtib.

Answer

Eeldame, et ∀x(F(x)∨G) = 1 ja ∀xF(x)∨G = 1.

Crowdly

Ülesanne. Tõesta järeldumine ∀x(F(x)∨G) ⊨ ∀xF(x)∨G. Tõestus. Valime vabalt i...

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