Sandhedstabel

Fra Wikipedia, den frie encyklopædi
Jump to navigation Jump to search
Broom icon.svgDer er ingen kildehenvisninger i denne artikel, hvilket muligvis er et problem.
Du kan hjælpe ved at angive kilder til de påstande, der fremføres i artiklen.
Question book-4.svg

En sandhedstabel er en tabel, som bruges for at overskueliggøre visse logiske konnektiver, eller eventuelt komprimere et kompliceret udtryk til et mere kompakt ækvivalent udtryk. Et udtryk indenfor matematisk logik kan være enten sandt eller falsk. I en sandhedstabel kan mulighederne sand og falsk markeres med f.eks. et ettal og et nul.

Sandhedstabel der illustrerer en af De Morgans love


1 1 1 0 0 0 0
1 0 0 1 0 1 1
0 1 0 1 1 0 1
0 0 0 1 1 1 1

To udsangsformer siges at være logisk ækvivalente dersom de har samme sandhedstabel. Ovenstående sandhedstablen illustrer således at er logisk ækvivalent med . Dette er en af de såkaldte De Morgans love.

En tautologi er en udsagnsform, hvor der står sand hele vejen ned gennem udsagnformens sandhedstabel. Tilsvarende er en kontradiktion en udsagnsform, hvor der står falsk hele vejen ned gennem sandhedstabellen.

MatematikStub
Denne artikel om matematik er kun påbegyndt. Hvis du ved mere om emnet, kan du hjælpe Wikipedia ved at udvide den.
filosofiStub
Denne filosofiartikel er kun påbegyndt. Hvis du ved mere om emnet, kan du hjælpe Wikipedia ved at udvide den.