Crowdly
Add to Chrome
Diskreetne matemaatika (LTMS.00.066)
Looking for Diskreetne matemaatika (LTMS.00.066) test answers and solutions? Browse our comprehensive collection of verified answers for Diskreetne matemaatika (LTMS.00.066) at moodle.ut.ee.
Get instant access to accurate answers and detailed explanations for your course questions. Our community-driven platform helps students succeed!
Ü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. Siis ∀xF(x)∨G = 1. | |
| 2) | Eeldame, et G = 0. Siis iga elemendi m ∈ Mα puhul F(m) = F(m)∨G = 1. Järelikult ∀xF(x) = 1. Seega ∀xF(x)∨G = 1. |
Mis lause sobiks järgmiseks?
Ü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. Siis ∀xF(x)∨G = 1. | |
| 2) | Eeldame, et G = 0. Siis iga elemendi m ∈ Mα puhul F(m) = F(m)∨G = 1. Järelikult ∀xF(x) = 1. |
Mis lause sobiks järgmiseks?
Ü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. Siis ∀xF(x)∨G = 1. | |
| 2) | Eeldame, et G = 0. Siis iga elemendi m ∈ Mα puhul F(m) = F(m)∨G = 1. |
Mis lause sobiks järgmiseks?
Ü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. Siis ∀xF(x)∨G = 1. | |
| 2) | Eeldame, et G = 0. |
Mis lause sobiks järgmiseks?
Ü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. Siis ∀xF(x)∨G = 1. |
Mis lause sobiks järgmiseks?
Ü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?
Ü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?
Ü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.
Mis lause sobiks järgmiseks?