Totuustaulu

Totuustaulu on propositiologiikassa käytettävä taulukko, jossa on lueteltu tutkittava lause ja sen alikaavat. Totuustaulun avulla voidaan selvittää, mikä tutkittavan lauseen totuusarvo on tietyillä atomilauseiden totuusarvoilla. Totuustaulun yläriville tulee omiksi sarakkeikseen jokainen tutkittavassa lauseessa esiintyvä alikaava ja tutkittava lause. Atomilauseiden alapuolelle listataan kaikki mahdolliset totuusarvojen yhdistelmät (totta ja epätotta), joista sitten lasketaan varsinaisten tutkittavien lauseiden totuusarvot. Jokaisella propositiosymbolilla on taulukossa kaksi eri totuusarvoa, "totta" ja "epätotta", joita yhdistämällä saadaan laskettua totuustaulun kaikkien rivien lukumäärä. Se on 2^n, missä n=propositiosymboleiden lukumäärä.

Totuustaulun käytöstä on havaittu ensimmäisiä viitteitä jo antiikin ajoilta. Sen käyttö yleistyi 1800-luvulla, mutta tunnetuksi se tuli vasta 1920-luvulla. Silloin sitä käyttivät Emil Post ja Ludwig Wittgenstein. Vaikka monet henkilöt olivat todistetusti käyttäneet totuustauluja aiemmin, niin kunnia sen keksimisestä yhdistetään Wittgensteiniin. Hän käytti totuustauluja muun muassa pääteoksessaan Tractatus logico-philosophicus (1922).

Kaikki konnektiivit

Taulukossa A ja B ovat lauseita, 0 = epätosi ja 1 = tosi.

A	B		2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17
			Ristiriita	NOR		NOT(A)		NOT(B)	XOR	NAND	AND	XNOR	B, projektio		A, projektio		OR	Tautologia
1	1		0	0	0	0	0	0	0	0	1	1	1	1	1	1	1	1
1	0		0	0	0	0	1	1	1	1	0	0	0	0	1	1	1	1
0	1		0	0	1	1	0	0	1	1	0	0	1	1	0	0	1	1
0	0		0	1	0	1	0	1	0	1	0	1	0	1	0	1	0	1

Taulukon symbolien selitykset:

2. Ristiriita

3. NOR

4. Implikaation negaatio

5. NOT, ¬A, Negaatio

6. Implikaation negaatio

7. NOT, ¬B, Negaatio

8. XOR, Ehdoton disjunktio

9. NAND, Shefferin viiva

10. AND, Konjunktio

11. XNOR, Ekvivalenssi

12. B, Projektio

13. Jos, ... niin, Implikaatio (A→B)

14. A, Projektio

15. Jos, ... niin, Implikaatio (A←B)

16. OR, Disjunktio

17. Tautologia

Yleisimmin käytetyt konnektiivit

Yleisimmin käytetyt konnektiivit ovat negaatio(ei), konjunktio(ja), disjunktio(tai), implikaatio(jos,... niin) ja ekvivalenssi(jos ja vain jos). Näistä negaatiota sovelletaan yhteen lauseeseen ja muita konnektiiveja taas yhdistämään kahta lausetta.

Negaatio

Negaatio kääntää lauseen totuusarvon päinvastaiseksi. Siis lauseen A negaatio on epätosi jos lause A on tosi. Vastaavasti negaatio A on tosi, jos lause A on epätosi.

Negaation totuustaulu: ¬A (käytetään myös merkintöjä NA tai ~A)

Negaatio

A	¬ A
1	0
0	1

Konjunktio

Lauseiden A ja B konjunktio on tosi, kun molemmat lauseet A ja B ovat tosia. Muussa tapauksessa se on epätosi.

Konjunktion totuustaulu: A ∧ B (Käytetään myös merkintöjä A ja B tai A & B)

Konjunktio

A	B	A ∧ B
1	1	1
1	0	0
0	1	0
0	0	0

Disjunktio

Lauseiden A ja B disjunktio on totta, kun ainakin toinen lauseista A tai B on tosi. Jos molemmat lauseet ovat epätosia, niin disjunktio on epätosi.

Disjunktion totuustaulu: A ∨ B (Käytetään myös merkintöjä A tai B, A || B, tai A + B)

Disjunktio

A	B	A ∨ B
1	1	1
1	0	1
0	1	1
0	0	0

Implikaatio

Implikaation symboli on → tai ← riippuen implikaation suunnasta. Implikaatio A → B on tosi, kun lauseet A ja B ovat tosia, sekä silloin kun A on epätosi. A → B on epätosi ainoastaan silloin, kun A on tosi ja B on epätosi. Implikaatio A ← B on tosi, kun lause A on tosi, sekä silloin kun A ja B ovat epätosia. A ← B on epätosi ainoastaan silloin, kun A on epätosi ja B on tosi.

Implikaation totuustaulu:

Implikaatio

A	B	A → B
1	1	1
1	0	0
0	1	1
0	0	1

Ekvivalenssi

Ekvivalenssista käytetään ↔ merkkiä. Lause A ↔ B on tosi, kun lauseilla A ja B on sama totuusarvo. Vastaavasti A ↔ B on epätosi, kun lauseilla A ja B on eri totuusarvo.

Ekvivalenssin totuustaulu: A ↔ B (also written as A jos B , A = B, tai A ≡ B)

Ekvivalenssi

A	B	A ↔ B
1	1	1
1	0	0
0	1	0
0	0	1

Esimerkkejä

Esimerkki 1

Milloin lause A∨(¬B∧C) on totta?

Ratkaistaan tehtävä käyttämällä totuustaulua, josta voidaan lukea millä lauseiden A, B ja C arvoilla tutkittava lause on totta. Rivejä on taulussa yhteensä 2^3 = 8:

A	B	C	¬B	(¬B∧C)	A∨ (¬B∧C)
1	1	1	0	0	1
1	1	0	0	0	1
1	0	1	1	1	1
1	0	0	1	0	1
0	1	1	0	0	0
0	1	0	0	0	0
0	0	1	1	1	1
0	0	0	1	0	0

Taulukon oikeanpuoleisimmasta sarakkeesta nähdään, että tutkittava lause A∨(¬B∧C) on totta kun A on totta, tai kun A ja B ovat epätotta ja C on totta.

Esimerkki 2

Onko lause (A∧B)↔ A tautologia?

Tutkittava lause on tautologia, jos se on tosi riippumatta lauseiden A tai B totuudesta. Totuustaulussa on nyt 2^2 = 4 riviä.

A	B	(A∧B)	(A∧B)↔ A
1	1	1	1
1	0	0	0
0	1	0	1
0	0	0	1

Taulukon oikeanpuoleisimmasta sarakkeesta nähdään, että tutkittava lause (A∧B)↔ A on epätotta kun A on totta ja B epätotta. Koska tutkittava lause ei näin ollen ole aina totta, niin se ei ole tautologia.

Katso myös

• Totuusfunktio
• Looginen portti

Aiheesta muualla

• Quine, W.V. (1982), Methods of Logic, 4th edition, Harvard University Press, Cambridge, MA.
• Enderton, H. (2001). A Mathematical Introduction to Logic, second edition, Harcourt Academic Press. ISBN 0-12-238452-0