Ejercicios de Lógica Proposicional

Esta misma entrada ya la edité en el Blog allá por el 2013. He comprobado en estos años que es la más visitada, así que supongo que ha sido útil. Espero que lo siga siendo.

Estos contenidos son complemento a la Unidad 4 estudiada en clase. Pertenecen al Apéndice de la misma.

Aquí os dejo 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.

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.

Espero que os sean útiles y divertidos.

Saludos