Veamos un ejemplo de la lógica a través de silogismos según Aristóteles del tipo EIO:
S-> Filósofos
P-> Griegos
M-> Inteligentes
1º Figura:
Ningún Inteligente es Griego (Premisa Mayor)
Algunos Filósofos no son Inteligentes (Premisa Menor)
——————————-
Algunos Filósofos son Griegos (Conclusión)
2º Figura:
Ningún Griego es Inteligente (Premisa Mayor)
Algunos Filósofos son Inteligentes (Premisa Menor)
——————————–
Algunos Filósofos no son Griegos (Conclusión)
3º Figura:
Ningun Inteligente es Griego [...]