Postoje dvije figure implikativnog zaključka:
Ako važi A, važi B
A važi,
Dakle, važi B
Druga figura, modus tolens
Ako važi A, važi B
B ne važi
Dakle A ne važi