omistatud tõeväärtus vale (ehk 0 või F), siis valemi ØW klassikalisel viisil omistatud tõeväärtuseks on õige (ehk 1 või T) Hulgateooria valemite konjunktsioonidele ja disjunktsioonidele klassikalisel viisil omistatud tõeväärtused • Kui W ja M on hulgateooria valemite tähised, siis järgnevad kirjutised W&M, WÚM, tähistavad vastavalt valemite W ning M konjunktsioone ja disjunktsioone, milles W ning M on valemis W&M konjunktid ning valemis WÚM disjunktid • Valemite W ja M konjunktsioonile W&M klassikaliselt omistatud tõeväärtuseks on õige vaid siis, kui mõlema konjunkti (st nii W, kuid ka M) klassikaliselt omistatud tõeväärtuseks on õige • Valemite W ja M disjunktsioonile WÚM klassikaliselt omistatud tõeväärtus on õige vaid siis, kui vähemalt ühe disjunkti (st W või M) klassikaliselt omistatud tõeväärtuseks on õige Hulgateooria valemite implikatsioonidele
väidetesüsteemi kooskõlalisust arvestades ka lisatingimust. Viime valemi disjunktiivsele normaalkujule, kasutades distributiivsust: (M1 ∨ M2) & (A1 ∨ A3) & (K2 ∨ K3) ≡ M1 & A1 & K2 ∨ M1 & A1 & K3 ∨ M1 & A3 & K2 ∨ M1 & A3 & K3 ∨ M2 & A1 & K2 ∨ M2 & A1 & K3 ∨ M2 & A3 & K2 ∨ M2 & A3 & K3 ≡ M1 & A3 & K2 ∨ M2 & A1 & K3. Konjunkte on võimalik ühekaupa analüüsida, kasutades ülesande lisatingimust. Need konjunktid, mis on samaselt väärad või lähevad vastuollu ülesande tingimustega, on väärad ega muuda kogu disjunktsiooni tõeväärtust (vt taandamise reegel 15). Jääb kaks konjunkti, 19 mis vastavad ülesande tingimustele. Korraga nad tõesed olla ei saa, kuid kumbki omaette kirjeldab üht võimalust, mille puhul on kõik ülesandes esitatud väidetesüsteemi väited tõesed. Ülesandel on kaks lahendust: a) matemaatika on 1. tund, keemia 2. ja ajalugu 3.; b) ajalugu on 1. tund, matemaatika 2
lisatingimusega ei tohi olla vastuolu, ning me otsime juhtumeid, mis tõestavad uuritava väidetesüsteemi kooskõlalisust arvestades ka lisatingimust. Viime valemi disjunktiivsele normaalkujule, kasutades distributiivsust: (M1 M2) & (A1 A3) & (K2 K3) M1 & A1 & K2 M1 & A1 & K3 M1 & A3 & K2 M1 & A3 & K3 M2 & A1 & K2 M2 & A1 & K3 M2 & A3 & K2 M2 & A3 & K3 M1 & A3 & K2 M2 & A1 & K3. Konjunkte on võimalik ühekaupa analüüsida, kasutades ülesande lisatingimust. Need konjunktid, mis on samaselt väärad või lähevad vastuollu ülesande tingimustega, on väärad ega muuda kogu disjunktsiooni tõeväärtust (vt taandamise reegel 15). Jääb kaks konjunkti, 19 mis vastavad ülesande tingimustele. Korraga nad tõesed olla ei saa, kuid kumbki omaette kirjeldab üht võimalust, mille puhul on kõik ülesandes esitatud väidetesüsteemi väited tõesed.
annaabi.ee 
