Indholdsfortegnelse
11 relationer: Biimplikation, Boolsk variabel, Disjunktion, Konjunktion (logik), Logisk algebra, Logisk konnektiv, Logisk operator, Sand (flertydig), Sprog, Udsagn, Unær operator.
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 Sandhedsværdi og Biimplikation
Boolsk variabel
En boolsk variabel eller boolean er en variabel som kun kan antage to værdier (sandt/falsk).
Se Sandhedsværdi og Boolsk variabel
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 Sandhedsværdi og Disjunktion
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 Sandhedsværdi og Konjunktion (logik)
Logisk algebra
Logisk algebra er en gren af matematikken, der beskæftiger sig med udsagn og deres sandhedsværdi.
Se Sandhedsværdi og Logisk algebra
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 Sandhedsværdi og Logisk konnektiv
Logisk operator
En logisk operator er en afbildning, en vigtig del af de formelle sprog der kaldes formel logik (og ofte andre formelle sprog).
Se Sandhedsværdi og Logisk operator
Sand (flertydig)
Sand kan henvise til.
Se Sandhedsværdi og Sand (flertydig)
Sprog
Et sprog er et struktureret kommunikationssystem.
Udsagn
Et udsagn er en deklarativ sætning, der enten er sand eller falsk, men ikke begge dele.
Unær operator
En unær operator eller monadisk operator er indenfor matematik en operator med kun en operand.
Se Sandhedsværdi og Unær operator
Også kendt som Falsk (logik), Falske (logik), Sand (logik), Sand eller falsk, Sande (logik), Sandt (logik), Sandt eller falsk, Sandt og falsk.