Modus ponens: razlika između inačica

Izvor: Hrvatska internetska enciklopedija
Prijeđi na navigaciju Prijeđi na pretraživanje
Bot: Automatski unos stranica
 
m bnz
 
Redak 1: Redak 1:
<!--'''Modus ponens'''-->'''Modus ponendo ponens''' (lat. način koji potvrđuje potvrđivanjem) ili kraće '''modus ponens''' valjani je [[argument]]acijski oblik i pravilo zaključivanja koje glasi: ako su [[Logički kondicional|kondicional]] i njegov [[antecedens]] istiniti, onda nužno slijedi njegov [[konsekvens]].<ref>Gustason William, i Ulrich Dolph E. ''Elementary Symbolic Logic'', Waweland Press, 1973: 56.</ref>  
Modus ponendo ponens''' (lat. način koji potvrđuje potvrđivanjem) ili kraće '''modus ponens''' valjani je [[argument]]acijski oblik i pravilo zaključivanja koje glasi: ako su [[Logički kondicional|kondicional]] i njegov [[antecedens]] istiniti, onda nužno slijedi njegov [[konsekvens]].<ref>Gustason William, i Ulrich Dolph E. ''Elementary Symbolic Logic'', Waweland Press, 1973: 56.</ref>  


== Simbolički oblik ==
== Simbolički oblik ==

Posljednja izmjena od 19. ožujak 2022. u 09:00

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:

i premise:

slijedi zaključak:

Izvori

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