¿Como es la tabla de verdad, según lo que plantea?

Las proposiciones simples y compuestas eran estas:

Las proposiciones simples son:

p = el rector no pudo dar el discurso

q = los diploman llegan a tiempo

r = cancelar la fiesta de graduación

s = enojarse los alumnos

t = devolver el dinero

Y las proposiciones compuestas son

1)     (~p v ~q) ==> (r ^ s)

2)     r  ==> t

3)     ~t

C)    p

Lo que hay que demostrar en la tabla de la verdad es esta proposición

{[(~p v ~q) ==> (r ^ s)] ^ (r ==> t) ^ (~t)} ==> p

Y esta es la tabla, algo complicada.

Y sale todo unos (verdaderos) en la ultima columna, luego es una tautología, el razonamiento ha sido correcto.

Sa lu dos.

:

: