Argumentum
From Wikipedia, the free encyclopedia
Remove ads
Argumentum est res logica, ad propositionem probandam. Partes priores argumenti praemissa vocantur, et pars finalis conclusio.
In argumento collectivistico, si praemissa omnia vera sunt, conclusio enim vera est; hoc est argumentum rectum. Atque aliter vero (contrapositive); si conclusio falsa est, praemissum aliquod falsum esse debet.
- Socrates est homo. (Praemissum 1)
- Homines mortales sunt. (Praemissum 2)
- Ergo Socrates mortalis est. (Conclusio)
ubi omnes propositiones sunt.
Remove ads
Bibliographia
- R. A. DeMillo, R. J. Lipton, A. J. Perlis, "Social Processes and Proofs of Theorems and Programs" in Communications of the ACM vol. 22 no. 5 (1979)
Nexus interni
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads