Deductor de conclusiones lógicas según los silogismos aristotélicos
  • Sujetos o predicados:
  • 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:
    1. I: cada ángel agota su especie    borrar
    2. I: Dios es Acto Puro    borrar
    3. O: Dios no es un hombre    borrar
    4. A: el ente es existente    borrar
    5. A: el ente tiene acto de ser    borrar
    6. A: el ente tiene esencia    borrar
    7. A: el hombre es animal    borrar
    8. A: el hombre es ser racional    borrar
    9. A: el hombre es un ser racional    borrar
    10. A: la naturaleza es la esencia como principio de actividades    borrar
    11. A: la persona es el además    borrar
    12. A: los accidentes inhieren en la sustancia    borrar
    13. A: los hombres son entes    borrar
  • Sacar como conclusión otro juicio