MAA11 Kähkönen
Esimerkit
0. Logiikasta
”Logiikka (kreikan sanasta λογική [logikē], johdettu sanasta λόγος [logos], ”sana”, ”järjestys”, ”järki”) on tieteenala, joka tutkii päättelyn ja ajattelun muotoja, erityisesti deduktiivista päättelyä.”
Logiikka. (2.2.2015). Wikipedia. Haettu 19.09, 6.10.2015 osoitteesta http://fi.wikipedia.org/w/index.php?title=Logiikka&oldid=14635879.
ESIM 1.
Premissi 1: Kaikki ihmiset ovat kuolevaisia.
Premissi 2: Sokrates on ihminen.
Johtopäätös: Sokrates on kuolevainen.
ESIM 2.
Premissi 1: Esko on mies.
Premissi 2: Mies ei ole nainen.
Johtopäätös: Esko ei ole nainen.
ESIM 3.
Ratkaise yhtälö 2x – 3 = 7. 2x – 3 = 7 || Lisätään puolittain 3, –a = + (–a) ⇔ 2x + (–3) + 3 = 7 + 3 || Vastalukujen summa = 0, sievennys ⇔ 2x + 0 = 10 || Nollan lisääminen a + 0 = a ⇔ 2x = 10 || Kerrotaan puolittain luvulla ½, osittelulaki ⇔ (½ * 2) * x = ½ * 10 || Käänteislukujen tulo = 1 ⇔ 1 * x = 5 || Ykkösellä kertominen 1a = a ⇔ x = 5
ESIM 4. Kaksi-Maassa syylliset valehtelevat aina ja syyttömät puhuvat totta. Aramir ja Beramir ovat epäiltyjä. Aramir kertoo: ”Olen syyllinen tai Beramir on syyllinen.” Beramir puolestaan totetaa: ” Olen syyllinen ja Aramir on syyllinen.” Mikä on totuus?
Ratkaisu: