Loogiset konnektiivit ja totuustaulut
p ¬p
0 1
1 0
p q pq
0 0 0
0 1 0
1 0 0
1 1 1
p q pq
0 0 0
0 1 1
1 0 1
1 1 1
p q pq
0 0 1
0 1 1
1 0 0
1 1 1
p q pq
0 0 1
0 1 0
1 0 0
1 1 1
Löytyvät taulukkokirjasta - katso
Konnektiivien suoritusjärjestys
1. Negaatiot ¬
2. Konjunktiot ja diskonjunktiot / 3. Implikaatiot ja ekvivalenssit / Jollein suluin toisin ilmoiteta
!Viimeinen suoritettava konnektiivi on PÄÄKONNEKTIIVI
E.4. Tee totuustaulukot lauseille a) p q b) (p q)
0 0 1 1
p 1 1 0 0
11 11 00 11
0 1 0 1
q 1 0 1 0
1 2 1
2 3
Viimeinen on pääkonnektiivi eli a)
b)
11 00 00 00
(p 1 1 0 0
0 1 1 1
0 1 0 1
q) 1 0 1 0
1 2 1
4 3
E.1. Osoita, että p (p q) p on tautologia
p 0 0 1 1
1
0 0 0 1
3
(p q) 0 1 0 0 1 1 1 0 0 1 1 1
1 2 1
1 1 1 1
4
p 0 0 1 1
1