Deductor lógico. © José Enrique Serrano Expósito

Deductor de conclusiones lógicas según los silogismos aristotélicos

Sujetos o predicados:

Acto Puro	borrar
animal	borrar
cada ángel	borrar
Dios	borrar
el además	borrar
el ente
el hombre	borrar
entes	borrar
ese ángel	borrar
esencia	borrar
existente	borrar
hombre	borrar
la esencia como principio de actividades	borrar
la naturaleza	borrar
la persona	borrar
la sustancia	borrar
los accidentes	borrar
los hombres	borrar
ser racional	borrar
su especie	borrar
substancia y accidentes	borrar
un animal	borrar
un hombre	borrar
23 sujetos o predicados.

Verbos:

agota	borrar
es
inhieren en	borrar
no es
no son
son
tiene	borrar
7 verbos.

Escribir (de nuevas o pinchando arriba) un juicio: sujetoºverboºpredicado:
de tipo A E I O
*A ser posible, evitar formulaciones en singular. Para los términos universales, muchos juicios pueden escribirse con ºsonº o ºno sonº como verbo, en vez de escribir ºesº o ºno esº
*Hay que seleccionar el tipo de cada juicio (atendiendo al sujeto y al verbo):
A: universal afirmativo
E: universal negativo
I: particular afirmativo
O: particular negativo.
*Todos los silogismos pueden reducirse a la primera figura:
Premisa Mayor: Término Medio ºverboº Término Mayor
Premisa Menor: Término Menor ºverboº Término Medio
Conclusión: Término Menor ºverboº Término Mayor
Sus combinaciones de tipo de juicio válidas son: AAA, EAE, AII y EIO.

Juicios:

Sacar como conclusión otro juicio