Implikacja, implikacja materialna ( do odróżnienia od: implikacji logicznej (wynikania) ) – zdanie logiczne lub funkcja zdaniowa powstałe przez połączenie dwóch zdań (poprzednik implikacji) i (następnik implikacji) spójnikiem implikacji .
Spójnik implikacji jest spójnikiem ekstensjonalnym – implikacja przyjmuje wartości logiczne zależące jedynie od wartości logicznych łączonych zdań.
+ Tablica prawdy dla implikacji 001011100111 gdzie: – prawda, – fałsz.
Definicja Znak „” przyjęto nazywać znakiem implikacji, od łac. implico – wplatam, dla zaznaczenia, że następnik jest niejako wpleciony, uwikłany w poprzednik, skoro w prawdziwej implikacji poprzednik nie może być prawdziwy bez prawdziwości następnika. Samo zaś zdanie postaci „”, czyli zdanie warunkowe, nazywa się częstokroć wprost: implikacją.
Notacja Zestawienie symboli implikacji, stosowanych przez różnych autorów w początkowym okresie rozwoju logiki formalnej: Schröder, PeirceHilbertPeanoRussellŁukasiewiczImplikacja