Modus ponens – Hrvatska internetska enciklopedija

Inačica 435010 od 19. ožujak 2022. u 09:00 koju je unio WikiSysop (razgovor | doprinosi) (bnz)

(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=435010"