Poniższy schemat wnioskowania (modus ponens):
p→q
p
_____
więc q
jest schematem: