Poniższy schemat wnioskowania (modus tollens):
p→q
~q
_______
więc ~p
jest schematem: