Ejercicios de Introducción a la Lógica

Lógica de primer orden

Ejercicios resueltos:

 




Lógica proposicional

Ejemplos de satisfacibilidad:

En el siguiente documento podéis encontrar varios ejercicios del libro resueltos.

Más ejercicios (sin la solución). Si tenéis dudas podemos hacerlos en clase:

Ejercicios resueltos de consecuencia lógica y corrección de argumentos:

Ejercicios resueltos de simbolización:

 

 

 

Anuncios

Responder

Introduce tus datos o haz clic en un icono para iniciar sesión:

Logo de WordPress.com

Estás comentando usando tu cuenta de WordPress.com. Cerrar sesión /  Cambiar )

Google+ photo

Estás comentando usando tu cuenta de Google+. Cerrar sesión /  Cambiar )

Imagen de Twitter

Estás comentando usando tu cuenta de Twitter. Cerrar sesión /  Cambiar )

Foto de Facebook

Estás comentando usando tu cuenta de Facebook. Cerrar sesión /  Cambiar )

Conectando a %s