Loogika konspekt
[(p (klaara) ˅q (veera) )˄q(Kuna ta on juba abielus siis siin Veera ei esine)] →p (Klaara jäi
järgi, kuna Veera on abielus) MTP (selle eest saab ka punkti!!!)
Tuletise tekst: Poliitikuga abiellub Klaara.
H. Võrno telesaates on võimalik võita miljon või 32 tuhat või 1000 krooni.
Seni pole keegi veel miljon krooni võitnud.
_
[(p˅q˅z ) ˄ p] →(q˅z)
MPT
Tuletise tekst: H. Võrno telesaates on seni võidetud 32 tuhat või 1000 krooni.
Naabri kolli nimi on Sampu või Hantu või Sammi.
Ta reageerib nimele Bony.
_ _ _
[(p˅q˅z ) ˄ x] → (p˄ q˄ z)
MPT
Tuletise tekst: Naabri kolli nimi ei ole Sampu ega Hantu ega Sammi.
Kas iga S on P või mõni S ei ole P.
Ükski S ei ole P.
_ _ _
[(p˅q) ˄p] →q
MTP
Tuletuse tekst: Mõni S ei ole P.
Jan on süüdi või Berta on süütu.
Berta ei ole süüdi. (väiksem eeldus)