De
logische implicatie is in de
logica 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. De waarheid van het geheel hangt alleen af van de waarheidswaarden van de samenstellende delen en niet van hun betekenis, wat soms tot tegenintuïtieve resultaten leidt. Om dit te benadrukken wordt de implicatie ook wel
materiële implicatie genoemd.