Exemple lògic de raonament
De Wikisofia
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]