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

Mis lause sobiks tõestusse esimeseks?

Question

Ülesanne.  Tõesta järeldumine ∀x(F(x)∨G) ⊨ ∀xF(x)∨G. 
 Tõestus. 
 
 Mis lause sobiks tõestusse esimeseks?

Accepted Answer

Valime vabalt interpretatsiooni α ja vabade muutujate väärtused.

Answer

Tõestame järeldumise konkreetse näite abil.

Answer

Tõestame vastuväiteliselt, et järeldumine ei kehti.

Answer

Konstrueerime interpretatsiooni α, milles järeldumine kehtib.

Answer

Fikseerime interpretatsiooni α, milles järeldumine kehtib.

Crowdly