Logische implicatie: verschil tussen versies

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:

| evenwaar || evenwaar || evenwaar

| evenwaar || onevenonwaar || onevenonwaar

| onevenonwaar || evenwaar || onevenwaar

| 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.