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

Mis lause sobiks tõestusse esimeseks?

Question

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

Answer

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

Answer

Oletame, et järeldumine kehtib.

Answer

Fikseerime interpretatsiooni α ja vabade muutujate väärtused.

Answer

Konstrueerime interpretatsiooni nii, et järeldumine kehtiks.

Answer

Olgu ¬∃xF(x) = 1.

Crowdly