Tema 3. Lógica de predicados

Icono IDevice Lógica de predicados

La lógica más antigua, la lógica de predicados, fue creada por el pensador griego Aristóteles en el siglo IV a. C. Por la importancia que históricamente ha tenido, así como por aparecer habitualmente en los razonamientos del lenguaje natural, esta lógica se apoya en enunciados predicativos de este tipo:

 

  1. Enunciados del tipo Todos los A son B:
    • Ejemplo: "Todos los seres humanos son iguales".
    • Se llaman Universal Afirmativo (UA).

  1. Enunciados del tipo Ningún A es B:
    • Ejemplo: "Ninguna máquina es capaz de resolver silogismos".
    • Se llaman Universal Negativo (UN).

  1. Enunciados del tipo Algún A es B:
    • Ejemplo: "Algún ser humano puede pensar en dos cosas al mismo tiempo".
    • Se llaman Particular Afirmativo (EA).

  1. Enunciados del tipo Algún A no es B:
    • Ejemplo: "Alguna máquina no supera la prueba de Turing".
    • Se llaman Particular Negativo (PN).

 


Sobre la tarea.

 

Imágen 1. Autor: J. Tenniel. Dominio público

La tarea para este tema está estrechamente relacionada con los contenidos del mismo. Deberás analizar y resolver dos silogismos tomados de entre los que plantea Lewis Carroll en su libro El juego de la lógica.

Como no parece adecuado resolver los silogismos de un autor que no conocemos —sería una falta de consideración—, te proponemos que hagas también un breve trabajo sobre Lewis Carroll, además de recomendarte encarecidamente la lectura de su libro más conocido, Alicia en el País de las Maravillas.