Indholdsfortegnelse
9 relationer: Biimplikation, Disjunktion, Formalsprog, Funktion (matematik), Konjunktion (logik), Logisk konnektiv, Negation, Programmering, Sandhedsværdi.
Biimplikation
Biimplikation er en betegnelse i logik og matematik for et udsagn eller en funktion, der resulterer i værdien sand, når begge operander har samme sandhedsværdi.
Se Logisk operator og Biimplikation
Disjunktion
Disjunktion er en betegnelse i logik og matematik for et udsagn eller en funktion, der resulterer i værdien falsk, når begge (eller alle) operander er falske og ellers værdien sand.
Se Logisk operator og Disjunktion
Formalsprog
Formalsprog betegner en abstraktion fra den normale opfattelse af hvad sprog er.
Se Logisk operator og Formalsprog
Funktion (matematik)
En funktion eller afbildning er i matematisk forstand et redskab, der beskriver sammenhængen mellem en såkaldt uafhængig variabel og en anden, såkaldt afhængig variabel.
Se Logisk operator og Funktion (matematik)
Konjunktion (logik)
Konjunktion er en betegnelse i logik og matematik for et udsagn eller en funktion, der resulterer i værdien sand, når begge operander er sande og ellers værdien falsk.
Se Logisk operator og Konjunktion (logik)
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 Logisk operator og Logisk konnektiv
Negation
Negation betyder nægtelse og betegner så at sige det modsatte af noget.
Se Logisk operator og Negation
Programmering
Programmering (fra oldgræsk πρόγραμμα prógramma) er en proces, som går ud på at udvikle computerprogrammer (software) til elektronisk databehandling på en computer, ofte ved hjælp af et programmeringssprog.
Se Logisk operator og Programmering
Sandhedsværdi
En sandhedsværdi er inden for logisk algebra værdien af et udsagn, som enten kan være sandt eller falsk.