Ejercicios de Formalización

Hoy Jueves 8 de Marzo, el profesor Rafael Bermudo puso en la pizarra 2 ejercicion de lógica para que los alumnos salieran a la pizarra a hacerlo.
En los ejercicios participaron gran parte de los alumnos de la clase, en el que cada uno salió a la pizarra para hacer una parte del ejercicio y si no se sabia como hacerlo, se cambiaba a otro alumno.

La primera formalizacion fue:

----- 3 --- 2 --- 3 ----1 --- 2 --
[ ( p Λ q ) V ( p Λ r ) ] → ( q V r )

_1_1_1__1__1_1_1__1__1_1_1
_1_1_1__1__1_0_0__1__1_1_0
_1_0_0__1__1_1_1__1__0_1_1
_1_0_0__0__1_0_0__1__0_0_0
_0_0_1__0__0_0_1__1__1_1_1
_0_0_1__0__0_0_0__1__1_1_0
_0_0_0__0__0_0_1__1__0_1_1
_0_0_0__0__0_0_0__1__0_0_0

Es un enunciado Tautologico.

La segunda formalizacion era mucho más larga y en ella participaron varios alumnos:

_2 --------4----- 3-----4 --------1 ------3 ------2 -----4 -----3 ------4

--[ p → [ ( q Λ r ) → ( s → ¬ t ) ] Λ [ ( q → t ) → [ ( p Λ q ) → ( r → ¬ s ) ]
_1__1__ 1_1_1__0__1_0_0__0__1_1_1__0__1_1_1__0__1_0_0

_1__1__ 1_1_1__ 1__1_1_ 1__1__1_0_0__1__1_1_1__0__1_0_0
_1__1__ 1_1_1__ 1__0_1_0__1__1_1_1__1__1_1_1__1__1_1_1
_1__1__ 1_1_1__ 1__0_1_1__1__1_0_0__1__1_1_1__1__1_1_1
_1__0__1_0_0__1__1_0_0__0__1_1_1__1__1_1_1__1__0_1_0
_1__0__1_0_0__1__1_1_1__0__1_0_0_1___1_1_1__1__0_1_0
_1__0__1_0_0__1__0_1_0__0__1_1_1__1__1_1_1__1__0_1_1
_1__0__1_0_0__1__0_1_1__0__1_0_0__1__1_1_1__1__0_1_1
_1__0__0_0_1__1__1_0_0__0__0_1_1__1__1_0_0__1__1_0_0
_1__0__0_0_1__1__1_1_1__0__0_1_0__1__1_0_0__1__1_0_0
_1__0__0_0_1__1__0_1_0__0__0_1_1__1__1_0_0__1__1_1_1
_1__0__0_0_1__1__0_1_1__0__0_1_0__1__1_0_0__1__1_1_1
_1__0__0_0_0__1__1_0_0__0__0_1_1__1__1_0_0__1__0_1_0
_1__0__0_0_0__1__1_1_1__0__0_1_0__1__1_0_0__1__0_1_0
_1__0__0_0_0__1__0_1_0__0__0_1_1__1__1_0_0__1__0_1_1
_1__0__0_0_0__1__0_1_1__0__0_1_0__1__1_0_0__1__0_1_1
_0__1__1_ 1_ 1__0__1_0_0__1__1_1_1__1__0_0_1__1__1_0_0
_0__1__1_ 1_ 1__1__1_1_1__1__1_0_0__1__0_0_1__1__1_0_0
_0__1__1_ 1_ 1__1__0_1_0__1__1_1_1__1__0_0_1__1__1_1_1
_0__1__1_ 1_ 1__1__0_1_1__1__1_0_0__1__0_0_1__1__1_1_1
_0__1__1_0_0__1__1_0_0__1__1_1_1__1__0_0_1__1__0_1_0
_0__1__1_0_0__1__1_1_1__1__1_0_0__1__0_0_1__1__0_1_0
_0__1__1_0_0__1__0_1_0__1__1_1_1__1__0_0_1__1__0_1_1
_0__1__1_0_0__1__0_1_1__1__1_0_0__1__0_0_1__1__0_1_1
_0__1__0_0_1__1__1_0_0__1__0_1_1__1__0_0_0__1__1_0_0
_0__1__0_0_1__1__1_1_1__1__0_1_0__1__0_0_0__1__1_0_0
_0__1__0_0_1__1__0_1_0__1__0_1_1__1__0_0_0__1__1_1_1
_0__1__0_0_1__1__0_1_1__1__0_1_0__1__0_0_0__1__1_1_1
_0__1__0_0_0__1__1_0_0__1__0_1_1__1__0_0_0__1__0_1_0
_0__1__0_0_0__1__1_1_1__1__0_1_0__1__0_0_0__1__0_1_0
_0__1__0_0_0__1__0_1_0__1__0_1_1__1__0_0_0__1__0_1_1
_0__1__0_0_0__1__0_1_1__1__0_1_0__1__0_0_0__1__0_1_1

Es un enunciado Tautologico.

Álvaro González López de Letona