Postoje dvije figure implikativnog zaključka:
Prva figura, modus ponens
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