TALLER DE LOGICA 2016

TABLAS DE VERDAD
P
V
V
F
F

Q
V
F
V
F

pq
V
F
F
F

pvq
V
V
V
F

pq
V
F
V
V

pq
V
F
F
V

1.- EJEMPLO (P ~q ) v p
p q
VV
V F
F V
F F

(P
V
V
F
F

~q )
F F
V V
V F
V V

v
V
V
V
V

p
V
V
F
F

TRABAJEMOS EN EL AULA
1.- (P ~Q) V P
7.- ( R) ( PV ~Q)
2.- (P ~Q) ( P ~Q)
8.-(P ~R) (~Q ~R )
3.-(P) (~Q R )
9.-(Q~ P ) ~( P ~ R)
4.-(Q~ P ) ( P ~ R)
10.- (~P R) (~ R ~P)
5.- (~P) ( R ~Q)

6.- (~Q) V( P ~R )