5 relationer: Ækvivalensrelation, De Morgans love, Kontradiktion, Logisk konnektiv, Tautologi.
Ækvivalensrelation
En ækvivalensrelation R på en mængde X er en relation, der opfylder følgende for alle a,b,c\in X.
Ny!!: Sandhedstabel og Ækvivalensrelation · Se mere »
De Morgans love
De Morgans love er et sæt logiske "regneregler", som knytter logiske operatorer sammen i par ved at kunne "danne" den ene operator ud fra den anden samt nogle negeringer.
Ny!!: Sandhedstabel og De Morgans love · Se mere »
Kontradiktion
En kontradiktion er et udsagn, der modsiger sig selv.
Ny!!: Sandhedstabel og Kontradiktion · Se mere »
Logisk konnektiv
Et logisk konnektiv er en afbildning, som kombinerer nogle (ofte to) udsagn til ét, således at sandhedsværdien for det samlede udsagn udelukkende afhænger af sandhedsværdierne for de indgående udsagn.
Ny!!: Sandhedstabel og Logisk konnektiv · Se mere »
Tautologi
I logik er en tautologi (fra græsk ταυτολογία tautologia "samme sag") et logisk udsagn, der er sandt for alle tildelinger af værdier til udtrykket.
Ny!!: Sandhedstabel og Tautologi · Se mere »