ACTIVIDAD EN CLASE

Realizar la tabla de certeza

1. [(p  q)→(p  r)]↔[(q  s)→(r→s)] : Esta fórmula es indeterminación

p q r s (p  q) (p  r) [(p  q)→(p  r) (q  s) (r→s) (q  s)→(r→s) [(p  q)→(p  r)↔[(q  s)→(r→s)]

V V V V V V V V V V V

V V V F V V V V F F F

V V F V V V V V V V V

V V F F V V V V V V V

V F V V F V V V V V V

V F V F F V V F F V V

V F F V F V V V V V V

V F F F F V V F V V V

F V V V F V V V V V V

F V V F F V V V F F F

F V F V F F V V V V V

F V F F F F V V V V V

F F V V F V V V V V V

F F V F F V V F F V V

F F F V F F V V V V V

F F F F F F V F V V V
 2. {[(p →q)  (r  s )→p]}  [(r  s)↔(q  p)] : Esta fórmula es indeterminación

p q r s (p →q) (r  s ) (p →q)  (r  s ) {[(p →q)  (r  s )→p]} (r  s) (q  p)] [(r  s)↔(q  p)] {[(p →q)  (r  s )→p]}  [(r  s)↔(q  p)]
V V V V V V V V V V V V

V V V F V F V V V V V V

V V F V V F V V V V V V
V V F F V F V V F V F F

V F V V F V V V V F F F

V F V F F F F V V F F F
V F F V F F F V V F F F

V F F F F F F V F F V V
F V V V V V V F V F F F

F V V F V F V F V F F F

F V F V V F V F F F V F

F V F F V F V F V F F F

F F V V V V V F V F F F

F F V F V F V F V F F F

F F F V V F V F V F F F

F F F F V F V F F F V F