Loogika konspekt
Kui Erichil on kodus probleeme, siis ta joob.
Ei saa lahendada.
[p ˄ q) →z ˄ z→q]
29.10.14
Kui see väide on hüpoteetiline, siis sisaldab see implikatsiooni.
See väide on kas hüpoteetiline või disjunktiivne.
See ei ole disjunktiivne väide.
_
[(p →q) ˄(p˅z) ˄z] →q
_
1) [(p˅z) ˄z] →p mtp
2)[(p→q) ˄p] →q mp
Tuletis: see väide sisaldab implikatsioone.
Kui Mart saab eksamili läbi on Ene õnnelik.
Kui Ants annab Mardile õpiku, saab Mart eksamil läbi.
Ene on õnnetu.
_ _
[(p→q) ˄(z→p) ˄q] →z
_ _
1) [(p→q) ˄ q] → p mt
_
2) [(z→p) ˄p] →z
Tuletis: ants ei andnud Mardile õpikut.
Õpetaja Ilmar Lilleorg Maria Sillandi
RP 121-T
Ps
annaabi.ee 
