Implikacja jest pojęciem matematycznym i logicznym, które opisuje zależność między dwiema zdaniem czy twierdzeniami. Jest to rodzaj zdania złożonego, w którym pierwsze zdanie nazywa się "założeniem" ,