Ang implikasyon ay ang ugnayan sa pagitan ng dalawang mga pahayag ng isang pahayag na may pasubali ( pahayag na may kondisyon ) na A { \ displaystyle A } , na tinatawag na nauuna ( antesedente ) at B { \ displaystyle B } , na tinatawag na kinahinatnan o konsekwente ( kinalabasan , bunga , resulta ) kapag ang A { \ displaystyle A } ay nagpapahiwatig ng B { \ displaystyle B }.
