Aquí os dejamos un enlace a un blog donde el profesor Alex Zevallos explica, muy lentamente y mediante vídeos, algunos ejercicios de formalización en lógica proposicional. Lo interesante es intentar resolverlos primero por uno mismo y después consultar el resultado en el vídeo.
Vamos a empezar con algunos enlaces a ejercicios para irnos soltando; empezando con ejercicios básicos y aumentando, progresivamente, el nivel de complejidad:
- Ejercicios básicos de formalización I
- Formalización II
- Formalización III
- Ejercicios de tablas de verdad
Aquí tenéis algunos ejercicios más de lógica proposicional. Aquí podréis formalizar y hallar el grado de consistencia de las fórmulas. Sólo podéis hacer los cinco primeros ejercicios, los demás son de cálculo que no estudiaremos.
Para l@s que estéis algo verdes después de todas las prácticas de clase, aquí tenéis un enlace con gran cantidad de ejercicios de formalización y de tablas de verdad ya resueltos para que practiquéis de cara al examen. Si tenéis dudas, las resolvemos en clase.
Esperamos que os sean útiles y divertidos.
Saludos
No hay comentarios:
Publicar un comentario