Modus ponens – Hrvatska internetska enciklopedija

Inačica 260585 od 27. listopad 2021. u 06:28 koju je unio WikiSysop (razgovor | doprinosi) (Bot: Automatski unos stranica)

(razl) ←Starija inačica | vidi trenutačnu inačicu (razl) | Novija inačica→ (razl)

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.^[1]

Simbolički oblik

Iz premise:

$A\to B$

$A$

slijedi zaključak:

$B$

Izvori

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

Dobavljeno iz "https://enciklopedija.cc/index.php?title=Modus_ponens&oldid=260585"