Tablica prawdy

tablica wartości funkcji zdaniowej

Tablica prawdy lub matryca logiczna[1] – wprowadzony w XIX wieku przez logików amerykańskich, Charlesa Sandersa Peirce’a i Emila Leona Posta, 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 or B
0 0 0
0 1 1
1 0 1
1 1 1

Zobacz teżEdytuj

PrzypisyEdytuj

  1. matryca logiczna, [w:] Encyklopedia PWN [online] [dostęp 2022-03-14].

Linki zewnętrzneEdytuj

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