Razlika između inačica stranice »Modus ponens«
Izvor: Hrvatska internetska enciklopedija
(Bot: Automatski unos stranica) |
m (bnz) |
||
| Redak 1: | Redak 1: | ||
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 == | ||
Trenutačna izmjena od 09:00, 19. ožujka 2022.
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:
[math]\displaystyle{ A \to B }[/math]
i premise:
[math]\displaystyle{ A }[/math]
slijedi zaključak:
[math]\displaystyle{ B }[/math]
Izvori
- ↑ Gustason William, i Ulrich Dolph E. Elementary Symbolic Logic, Waweland Press, 1973: 56.