25 de enero

Hoy día 25 de enero hemos comenzado la clase con una actividad de la página 132. Había que hacer la tabla de verdad de estos enunciados moleculares:

·  [(p Λ q) v (r → p)] → (¬p Λ ¬r)
·  [p → (q v r)] → ¬ [p → (q v r)]

El primer enunciado molecular es una indeterminación, porque puede ser tanto verdadero como falso. Y el segundo enunciado es una contradicción, porque siempre es falso. 

En el segundo enunciado hemos tenido dudas sobre el negador, después de la explicación del profesor ya hemos comprendido que invierte todo el segundo corchete.

Antes de finalizar la clase hemos hecho dos tablas de verdad más, de dos enunciados que había en la plataforma helvia.

·  (p Λ q) → (¬p v q)
·  ¬q Λ [(p → q) → ¬p]

El primero es un enunciado tautológico y el segundo una indeterminación.

Para poder avanzar el próximo día con el tema de lógica deberíamos hacer las actividades propuestas en la plataforma helvia y repasar todo lo que llevamos hasta día de hoy.

Andrea Bastida García.