Exemple lògic de raonament

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]