Bruger:Pkj61/Sandhedsværdi
I denne artikel vil spørgsmålet om Bruger:Pkj61/Sandhedsværdi blive behandlet, som er af største betydning på forskellige områder af samfundet. Bruger:Pkj61/Sandhedsværdi har været genstand for undersøgelse og interesse i mange år, og dets relevans er fortsat gældende i dag. Gennem historien har Bruger:Pkj61/Sandhedsværdi spillet en afgørende rolle i menneskers liv, hvad enten det er på et personligt, professionelt eller akademisk plan. Gennem denne artikel sigter vi mod at uddybe viden og forståelse af Bruger:Pkj61/Sandhedsværdi, udforske dens forskellige facetter og mulige implikationer i det moderne samfund. Gennem en detaljeret og udtømmende analyse vil vi søge at belyse vigtige aspekter relateret til Bruger:Pkj61/Sandhedsværdi, med henblik på at give en samlet og berigende vision for læseren.
 | Spire Denne artikel om matematik er en spire som bør udbygges. Du er velkommen til at hjælpe Wikipedia ved at udvide den. |
En sandhedsværdi er inden for logisk algebra værdien af et udsagn, som enten kan være sandt eller falsk. Regning med sandhedsværdier har, siden George Boole indførte disciplinen, været central for behandlingen af matematiske udsagn. Inden for datalogi regner man også med sandhedsværdier, for det første fordi computerteknologi jo er baseret på enheden bit, der også kun kan antage to værdier (0 eller 1), for det andet fordi man i programmering til en computer hele tiden skal kontrollere flowet i programmet ved at vurdere sandhedsværdier (i datalogi/programmering oftest kaldet en boolean).
En sandhedsværdi kan genereres af mange typer udsagn, f.eks. sammenligninger (a = b, a < b, a ≥ b, a ≠ b), udsagn vedr. mængder (a ∈A, A ⊂B, A ⊆B), inden for geometri (l er parallel med m, l er vinkelret på m), inden for datalogi (her Java: objekt instanceof Type) osv.
Logiske operatorer
Uddybende artikler: Logisk operator og Sandhedstabel| Prioritet | Operation | Notation matematik |
Notation datalogi | |
|---|---|---|---|---|
| Visual Basic | Java | |||
| 1 | Negation (ikke) | ¬p | NOT p | !p |
| 2 | Disjunktion (og, samtidig med) | p∧q | p AND q | p & q |
| 3 | enten eller | p XOR q | p ^ q | |
| 4 | Konjunktion (eller) | p ∨ q | p OR q | lodret streg |
| 5 | Implikation (medfører) | p ⇒ q | ||
| 5 | Biimplikation (er ensbetydende med) | p ⇔ q | ||
Regneregler
- ¬(p∧q) = ¬p∨¬q = p XOR q
- ¬(p∨q) = ¬p∧¬q
- p∧(q∨r) = p∧q ∨ p∧r
- ¬(p⇒q) ⇔ (¬q⇒¬p)