polje: matematika
grana: matematička logika i računarstvo
projekt: Izgradnja hrvatskoga nazivlja u matematici – temeljni pojmovi
logička operacija koja uređenomu paru izjava pridružuje izjavu koja je istinita osim ako je prva izjava istinita, a druga lažna
logička operacija koja uređenomu paru izjava pridružuje izjavu koja je istinita osim ako je prva izjava istinita, a druga lažna
Rod: ženski
Vrsta riječi: imenica
Simbol: $\Rightarrow,\ \rightarrow$
Implikacijom se često naziva i znak za implikaciju, a i sama složena izjava od dviju izjava povezanih tim znakom. Ako je $(A,B)$ uređeni par izjava, onda se njihova pripadna implikacija obično označuje kao $A\Rightarrow B$.