Loogika konspekt
_ _
Moodus tollens: [(p → q) ˄ q] → p
21.10.14
Näited:
p- alus
q- tagajärg
Kui inimene tunneb end milleski süüdi, siis ta punastab.
Kati punastab sageli.
Moodus tollens: [(p → q) ˄ q] → ?
Pole tuletist – arutlus toimub modus tollensi reegli järgi, tema ei luba tuletist. Tagajärge pole
eitatud vaid kinnitatud.
kui on peale ˄ märki p siis läheb moodus ponens käiku, kui aga peale ˄ märki on q siis
moodus tollens
Kui üliõpilane ei loe loogikaraamatut, ei saa ta vajalikke teadmisi selles aines.
Üliõpilane luges läbi loogikaraamatu. (võib olla testis)
_ _
Moodus ponens: [(p → q) ˄p] → ?
Kui inimene tahab karjääri teha, siis peab ta hoolega töötama.
Johannes on laisk.
_ _
Moodus tollens: [(p → q) ˄q] → p
Johannes ei taha karjääri teha.
Kui keegi on pime, siis ei leia ta mitte midagi üles.
Ma ei leia oma prille.
Moodus tollens: [(p → q) ˄ q] → ?