Oppitunti 10.4.2017
Oppitunti 10.4.2017
Oppitunnilla käsiteltiin lause-eli propositiologiikan konnektiiveja.
Propositio eli lause (tai väittämä) on logiikan "perusalkio"
Propositio on joko tosi tai epätosi, muuta vaihtoehtoa ei ole.
Mikään lause ei voi myöskään olla sekä tosi että epätosi.
Konnektiivit: ei, ja, tai
Muistisääntö (ja vähän enemmän)!
Jos merkitään tosi = 1 ja epätosi = 0 voidaan ja ja tai "palauttaa" laskutoimituksiksi
Eli 1 x 1 = 1, 1 x 0 = 0 x 1 = 0 x 0 = 0
ja 1+0=0+1=1, 0+0=0, MUTTA 1+1=1
Konnektiivit implikaatio ja ekvivalenssi käasitellään seuraavalla tunnilla.
Tässä T=True=Tosi ja F=False=Epätosi
Kirjoita konnektiivien totuusarvotaulut muistiinpanoihin.
Esimerkki yhdistetyn lauseen totuusarvon määräämisestä. Käytännössä totuusarvo ratkaistaan siten, että kirjoitetaan koko yhdistetty lause vain kerran taulukkoon ja ratkaistaan totuusarvot vaiheittain (vaiheitten numerot merkitään taulukon alle!).
Propositio eli lause (tai väittämä) on logiikan "perusalkio"
Propositio on joko tosi tai epätosi, muuta vaihtoehtoa ei ole.
Mikään lause ei voi myöskään olla sekä tosi että epätosi.
Konnektiivit: ei, ja, tai
Muistisääntö (ja vähän enemmän)!
Jos merkitään tosi = 1 ja epätosi = 0 voidaan ja ja tai "palauttaa" laskutoimituksiksi
a | b | a ja b eli a x b | a tai b |
1 | 1 | 1 | 1 |
1 | 0 | 0 | 1 |
0 | 1 | 0 | 1 |
0 | 0 | 0 | 0 |
ja 1+0=0+1=1, 0+0=0, MUTTA 1+1=1
Konnektiivit implikaatio ja ekvivalenssi käasitellään seuraavalla tunnilla.
Tässä T=True=Tosi ja F=False=Epätosi
Kirjoita konnektiivien totuusarvotaulut muistiinpanoihin.
Esimerkki yhdistetyn lauseen totuusarvon määräämisestä. Käytännössä totuusarvo ratkaistaan siten, että kirjoitetaan koko yhdistetty lause vain kerran taulukkoon ja ratkaistaan totuusarvot vaiheittain (vaiheitten numerot merkitään taulukon alle!).