Crowdly
Add to Chrome
Ülesanne. Tõesta järeldumine ∀x(F(x)∨G) ⊨ ∀xF(x)∨G. Tõestus. Valime vabalt i...
✅ The verified answer to this question is available below. Our community-reviewed solutions help you understand the material better.
Ü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.
| 1) | Eeldame, et G = 1. |
Mis lause sobiks järgmiseks?
0%
0%
0%
0%
0%