implikáció

Logikai művelet, amellyel két kijelentést összekötve „ha A, akkor B” típusú, újabb kijelentést kapunk. Az implikáció igaz, kivéve, ha A igaz és B hamis. Jele:$A \to B$.