Tablica prawdy

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

Tablica prawdy lub matryca logiczna – 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 1, a fałszowi przypisuje się 0.

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

Przykład tablicy 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 | edytuj kod]

Linki zewnętrzne[edytuj | edytuj kod]