Tabelka prawdziwościowa

Tabela prawdziwościowa^[1], matryca logiczna^[2] – układ tabelaryczny zero-jedynkowych kombinacji wartości logicznych argumentów danej funkcji zdaniowej i dokładnie zależących od nich wartości logicznych tejże funkcji zdaniowej, w którym prawdzie odpowiada wartość 1, a fałszowi przypisuje się wartość 0.

Tablicę prawdy posiadają wszystkie funktory zdaniotwórcze, np.:

Przykładowo, tablica prawdy dla operatora alternatywy:

$A$	$B$	$Y=A\lor B$
0	0	0
0	1	1
1	0	1
1	1	1

Matryce logiczne wprowadził w 1893 logik amerykański Charles Sanders Peirce^[3]. Ich wprowadzenie przypisuje się także Ludwigowi Wittgensteinowi i Bertrandowi Russellowi, którzy zaproponować je mieli po raz pierwszy w 1912^[3] oraz samemu Wittgensteinowi, któremu przypisuje się także ich popularyzację w jego Traktacie logiczno-filozoficznym, opublikowanym w 1921^[4].

Zobacz też

Przypisy

↑ Grzegorz Malinowski: Logiki wielowartościowe. Warszawa: PWN, 1990, s. 14. ISBN 83-0109-671-3. (pol.).
↑ matryca logiczna, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2022-03-14] .
1 2 Irving H.I.H. Anellis Irving H.I.H., Peirce’s Truth-functional Analysis and the Origin of the Truth Table, „History and Philosophy of Logic”, 33 (1), 2012, s. 87-88, DOI: 10.1080/01445340.2011.621702, ISSN 0144-5340 [dostęp 2026-03-12] (ang.).
↑ Georg Henrik vonG.H. Wright Georg Henrik vonG.H., Ludwig Wittgenstein. A Biographical Sketch., „Philosophical Review”, 64 (4), Duke University Press, 1955, s. 532, DOI: 10.2307/2182631, ISSN 0031-8108, JSTOR: 2182631 [dostęp 2026-03-12] (ang.).

Linki zewnętrzne

Eric W.E.W. Weisstein Eric W.E.W., Truth Table, [w:] MathWorld, Wolfram Research [dostęp 2020-12-12] (ang.).

[malinowski-1] Grzegorz Malinowski: Logiki wielowartościowe. Warszawa: PWN, 1990, s. 14. ISBN 83-0109-671-3. (pol.).

[epwn-2] matryca logiczna, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2022-03-14] .

[anellis-3] 1 2 Irving H.I.H. Anellis Irving H.I.H., Peirce’s Truth-functional Analysis and the Origin of the Truth Table, „History and Philosophy of Logic”, 33 (1), 2012, s. 87-88, DOI: 10.1080/01445340.2011.621702, ISSN 0144-5340 [dostęp 2026-03-12] (ang.).

[4] Georg Henrik vonG.H. Wright Georg Henrik vonG.H., Ludwig Wittgenstein. A Biographical Sketch., „Philosophical Review”, 64 (4), Duke University Press, 1955, s. 532, DOI: 10.2307/2182631, ISSN 0031-8108, JSTOR: 2182631 [dostęp 2026-03-12] (ang.).

[1]

[2]

[3]

[4]