Logische implicatie: verschil tussen versies

De '''logische implicatie''' is in de [[logica]] een bewering die stelt dat als P waareven is, Q ook waareven is. Deze bewering is alleen onwaaroneven als het ''antecedent'' P waareven is en het ''consequent'' Q onwaaroneven 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 [[waarheidstabelevenheidstabel]] van de implicatie is als volgt:

| waareven || waareven || waareven

| waareven || onwaaroneven || onwaaroneven

| onwaaroneven || waareven || waaroneven

| onwaaroneven || onwaaroneven || waareven

Een logische implicatie <math>P \rightarrow Q</math> is [[Logische equivalentie|logisch equivalent]] aan ¬P ∨ Q. Dit wil zeggen dat beide formules dezelfde [[waarheidswaardeevenheidswaarde]] hebben voor alle mogelijke toekenningen van waareven en onwaaroneven aan P en Q.