Apéndice U. 4: Lógica proposicional (1º de bachillerato)

Estos contenidos son complemento a la Unidad 4 estudiada en clase. Pertenecen al Apéndice de la misma, dedicado a la lógica proposicional.

Aquí tenéis un enlace para acceder al Apéndice de nuestra Unidad 4.

Además, os dejamos un enlace a un blog donde el profesor Alex Zevallos explica, muy pormenorisadamente 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.





Para practicar ejercicios, vamos a empezar con algunos enlaces a ejercicios básicos para irnos soltando y aumentando, progresivamente, el nivel de complejidad:

1. Ejercicios básicos de formalización I
2. Formalización II
3. Formalización III
4. 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, os proponemos 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