Logische implicatie: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Verbeterd Labels: Visuele tekstverwerker Bewerking via mobiel Bewerking via mobiele website |
k Wijzigingen door 2A02:1811:C426:A600:39A8:A9C3:D767:3063 (Overleg) hersteld tot de laatste versie door Bob.v.R |
||
Regel 1:
[[Bestand:Venn1011.svg|thumb|[[Venndiagram]] van de implicatie - rood is waar]]
De ''
De implicatie wordt aangegeven met een pijl. "''Als'' ''P'' ''dan'' ''Q''" wordt bijvoorbeeld geschreven als ''P'' → ''Q''. De samenstelling ''P'' → ''Q'' → ''R'' dient gelezen te worden als ''P'' → (''Q'' → ''R'').
De [[waarheidstabel]] van de implicatie is als volgt: <br>
(T = True = waar, F = False = onwaar)
Regel 23:
|}
Een logische implicatie <math>\scriptstyle P \rightarrow Q</math> is [[Logische equivalentie|logisch equivalent]] aan <math>\scriptstyle \neg P \lor Q</math>. Dit wil zeggen dat beide formules dezelfde [[waarheidswaarde]] hebben voor alle mogelijke toekenningen van waar en onwaar aan ''P'' en ''Q''.
== Valkuilen van de implicatie ==
|