Booleaanse operator: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k Bot: corrigeren verouderde syntax in formules - mw:Extension:Math/Roadmap |
|||
Regel 81:
<math>A \, \mathop{\text{OR}} \, B</math> is waar als <math>A</math> waar is of <math>B</math> waar is (of als beide waar zijn). Het resultaat is onwaar als zowel <math>A</math> als <math>B</math> onwaar zijn.
Gestandaardiseerde notatie: <math>A\
Andere notaties: <math>A\mid B ,\, A\mathop{\|}B ,\, A+B</math>.
Regel 175:
=== Implicatie ===
De implicatie <math>A \rightarrow B</math> ('uit A volgt B') is uitsluitend onwaar indien A waar is en B onwaar. De implicatie heeft daarom dezelfde waarheidswaarde als <math>(\neg A) \
Gestandaardiseerde notatie: <math>A \rarr B</math>.
| |||