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.
Como os veo a algun@s algo verdes aún, 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
De muy buena ayuda.....
ResponderEliminar