Lógica de Predicados (Capitulo I)

¡Buenas a todos!

Hoy os hablaré de como poder desarrollar las conclusiones de las logicas de predicados. En lógica de predicados estarán expuestos varios universos ( casas, coches,  rubios, hombres, animales, peces..) y los denominaremos a partir de una letra cada universo  ( para poder  trabajar más comodamente) .

Generalmente se nos  mostrarán varias sentencias a las cuales deberemos de buscar una conclusión… Esta conclusión  la buscaremos a partir de esta tabla que os muestro a continuación.

Y aquí os dejo unos ejemplos  desarrollados para que podais  ver como efectuamos  su desarrollo.

• Todos los artistas son ególatras

• Algunos artistas son indigentes

———————————————————————-

• Algunos indigentes son ególatras

• Algún hombre no es andaluz

• Todo hombre es mortal

——————————————————————–

• Algún mortal no es andaluz

• Algún hombre es rubio

• Ningún chino es rubio

———————————————————————

• Algún hombre (no) es chino

• Algún español es gaditano

• Todo gaditano es andaluz

———————————————————————-

• Algún andaluz es español

• Algunos múltiplos de 3 son múltiplos de 4

• Todo múltiplo de 4 es múltiplo de 2

———————————————————————-

• Algunos múltiplos de 3 son múltiplos de 2

¡Un saludo!

Advertisement