Modus ponens

Modus ponendo ponens (lat. način koji potvrđuje potvrđivanjem) ili kraće modus ponens valjani je argumentacijski oblik i pravilo zaključivanja koje glasi: ako su kondicional i njegov antecedens istiniti, onda nužno slijedi njegov konsekvens.

Simbolički oblik

Iz premise:

[math]\displaystyle{ A \to B }[/math]

i premise:

[math]\displaystyle{ A }[/math]

slijedi zaključak:

[math]\displaystyle{ B }[/math]