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.:
Przykładowo, tablica prawdy dla operatora alternatywy:
| 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.