Vi arbejder på at gendanne Unionpedia-appen i Google Play Store
UdgåendeIndgående
🌟Vi har forenklet vores design for bedre navigation!
Instagram Facebook X LinkedIn

Logisk operator

Indeks Logisk operator

En logisk operator er en afbildning, en vigtig del af de formelle sprog der kaldes formel logik (og ofte andre formelle sprog).

Indholdsfortegnelse

  1. 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.

Se Logisk operator og Sandhedsværdi