Tabela prawdziwościowa, matryca logiczna, tablica (tabela) prawdy – 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ść: ; zaś fałszowi przypisuje się wartość: .
Tablicę prawdy posiadają wszystkie funktory zdaniotwórcze, np.: alternatywa alternatywa wykluczająca implikacja logiczna koniunkcja logiczna negacja równoważność dysjunkcja binegacja.
Przykładowo, tablica prawdy dla operatora alternatywy: {| class="wikitable" style="text-align: center" !width=30|!! width="30" |!! |- |0||0||0 |- |0||1||1 |- |1||0||1 |- |1||1||1
Matryce logiczne wprowadził w 1893 logik amerykański Charles Sanders Peirce. Ich wprowadzenie przypisuje się także (jako wspólne) logikom: Ludwigowi Wittgensteinowi oraz Bertrandowi Russellowi; którzy to mieli je zaproponować po raz pierwszy w 1912; oraz także: samemu Wittgensteinowi, któremu przypisuje się także ich popularyzację w jego Traktacie logiczno-filozoficznym, opublikowanym w 1921.
Zobacz też rachunek zdań prawa rachunku zdań algebra Boole’a
Przypisy
Linki zewnętrzne
Kategoria:Rachunek zdań