Logiikkaa
Linkit
Lauseen formalisointi
Matikkamatskut
Käsitteet ja laskujärjestys
- logiikka
- totuusarvo
- väitelause
- konnektiivit
- negaatio ei
- konjunktio ja
- disjunktio tai
- implikaatio
- ekvivalenssi
-loogisesti ekvivalentit
- tautologia
Konnektiivien laskujärjestys
1. ei
2. ja/tai
3. implikaatio
4. ekvivalenssi
- totuusarvo
- väitelause
- konnektiivit
- negaatio ei
- konjunktio ja
- disjunktio tai
- implikaatio
- ekvivalenssi
-loogisesti ekvivalentit
- tautologia
Konnektiivien laskujärjestys
1. ei
2. ja/tai
3. implikaatio
4. ekvivalenssi
Vinkki
Toki voi tehdä Otavan vastauskenttään suoraan. Päivitysten myötä taulukon tekeminen ja taulukkoon konnektiivien merkkaaminen onnistuu aika helposti.
Teoriaa
Linkkejä
Totuustaulut TI-NSpirellä
Harri Niiranen
Totuustaulu Abittieditorilla
Sari Aaltonen
Lauseen totuusarvot
Matikkamatskut
Implikaatio ja ekvivalenssi
Matikkamatskut
Logiikka, konnektiivit, totuustaulut
Matikkamatskut
Aalto-yliopiston luentopaketti
Totuustauluista video
Tekijänä P La