Logische implicatie: verschil tussen versies

2 bytes verwijderd ,  11 jaar geleden
Versie 22697384 van 86.87.85.187 (overleg) ongedaan gemaakt
Geen bewerkingssamenvatting
(Versie 22697384 van 86.87.85.187 (overleg) ongedaan gemaakt)
[[Bestand:Venn1011.svg|thumb|right|Venn-diagram van de implicatie - rood is waar]]
De '''logische implicatie''' is in de [[logica]] een bewering die stelt dat als P evenwaar is, Q ook evenwaar is. Deze bewering is alleen onevenonwaar als het ''antecedent'' P evenwaar is en het ''consequent'' Q onevenonwaar is. Het wordt aangegeven met een pijl van P naar Q, zoals dit: <math>P \rightarrow Q</math>. De constructie <math>P \rightarrow Q \rightarrow R</math> dient gelezen te worden als <math>P \rightarrow (Q \rightarrow R)</math>.
 
De [[evenheidstabelwaarheidstabel]] van de implicatie is als volgt:
 
{| class="wikitable"
! P !! Q !! P → Q
|- align=center
| evenwaar || evenwaar || evenwaar
|- align=center
| evenwaar || onevenonwaar || onevenonwaar
|- align=center
| onevenonwaar || evenwaar || onevenwaar
|- align=center
| onevenonwaar || onevenonwaar || evenwaar
|}
 
Een logische implicatie <math>P \rightarrow Q</math> is [[Logische equivalentie|logisch equivalent]] aan ¬P ∨ Q. Dit wil zeggen dat beide formules dezelfde [[evenheidswaardewaarheidswaarde]] hebben voor alle mogelijke toekenningen van evenwaar en onevenonwaar aan P en Q.
 
== Zie ook ==
169.402

bewerkingen