Modus ponens

Izvor: Wikipedija
Skoči na: orijentacija, traži

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

Simbolički oblik[uredi VE | uredi]

Iz premise:

i premise:

slijedi zaključak:

Izvori[uredi VE | uredi]

  1. Gustason William, i Ulrich Dolph E. Elementary Symbolic Logic, Waweland Press, 1973: 56.