Diferència entre revisions de la pàgina «Exemple lògic de raonament»
De Wikisofia
(Es crea la pàgina amb «{{RecursWiki |Tipus=Exemple }} {{RecursoEnlace |Enllaç= }} {{Multimèdia |Upload Type= |File= |Embed= }} {{RecursBase |Nom=Exemple lògic de raonament |I...».) |
|||
Línia 1: | Línia 1: | ||
{{RecursWiki | {{RecursWiki | ||
|Tipus=Exemple | |Tipus=Exemple | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
{{RecursBase | {{RecursBase | ||
Línia 44: | Línia 36: | ||
<math> \forall{x} (Rx \rightarrow{Qx})</math> | <math> \forall{x} (Rx \rightarrow{Qx})</math> | ||
− | |||
− | |||
− | |||
− | |||
− | |||
{{InfoWiki}} | {{InfoWiki}} |
Revisió de 13:53, 5 set 2015
La forma del següent raonament:
- «Tot el que creu en la igualtat humana creu en la democràcia.
- Els estudiants creuen en la igualtat humana.
- _______________________________________________
- Després, els estudiants creuen en la democràcia»
és, segons la lògica aristotèlica:
- Tot A és
B :Tot C és A :_________________
- Després tot C és B
i segons la lògica moderna
[math]\displaystyle{ \forall{x} (Px \rightarrow{Qx}) }[/math]
[math]\displaystyle{ \forall{x} (Rx \rightarrow{Px}) }[/math]
__________________
[math]\displaystyle{ \forall{x} (Rx \rightarrow{Qx}) }[/math]