Indholdsfortegnelse
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.
Se Sandhedstabel og Ækvivalensrelation
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.
Se Sandhedstabel og De Morgans love
Kontradiktion
En kontradiktion er et udsagn, der modsiger sig selv.
Se Sandhedstabel og Kontradiktion
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.
Se Sandhedstabel og Logisk konnektiv
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.
Også kendt som ELLER, IKKE, Logiske funktioner, Sandhedstabellen, XOR.