Logische implicatie: verschil tussen versies

De '''logische implicatie''' is in de [[propositielogicalogica]] een bewering die stelt dat als P waar is, Q ook waar is. Deze bewering is alleen onwaar als het ''antecedent'' P waar is en het ''consequent'' Q onwaar is. Het wordt aangegeven met een pijl van P naar Q, zoals dit: <math>P \rightarrow Q</math>.