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:

$A\to B$

i premise:

$A$

slijedi zaključak:

$B$