Implicaţia logică este un concept matematic care stabileşte că dintr-o afirmaţie dată se poate obţine o altă afirmaţie.