Ülesanne. Tõesta järeldumine ∀x(F(x)∨G) ⊨ ∀xF(x)∨G.
Tõestus. Valime vabalt interpretatsiooni α ja vabade muutujate väärtused. Eeldame, et ∀x(F(x)∨G) = 1 . Siis iga elemendi m ∈ M α puhul F(m)∨G = 1 . On kaks võimalust: G = 1 või G = 0 .

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. Eeldame, et  ∀x(F(x)∨G) = 1 . Siis iga elemendi  m ∈ M α  puhul  F(m)∨G = 1 . On kaks võimalust:  G = 1  või  G = 0 .

Mis lause sobiks järgmiseks?

Accepted Answer

Järelikult ∀xF(x) = 1.

Answer

Seega iga elemendi m ∈ M α  puhul F(m)∨G = 1.

Answer

See on kooskõlas eeldusega ∀x(F(x)∨G) = 1.

Answer

Seega ei ole nii, et mingi m ∈ M α  puhul F(m) = 0.

Answer

Järelikult ∀x(F(x)∨G) = 1.

	1)	Eeldame, et G = 1. Siis ∀xF(x)∨G = 1.
	2)	Eeldame, et G = 0. Siis iga elemendi m ∈ M_α puhul F(m) = F(m)∨G = 1.

Crowdly

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

Хочете миттєвий доступ до всіх перевірених відповідей на moodle.ut.ee?