martes, 11 de agosto de 2015

Ejercicios Conectores Y Proposiciones

 (p^q →r) → (pvr)

P
Q
r
p^q
Pvr
p^q→r
(p^q →r) → (pvr)
1
1
1
1
1
1
1
1
1
0
1
1
0
1
1
0
1
0
1
1
1
1
0
0
0
1
1
1
0
1
1
0
1
1
1
0
1
0
0
1
1
1
0
0
1
0
0
1
0
0
0
0
0
0
1
0













(p→q) v (¬q^r) ↔(r¬q)

P
Q
R
¬q
p→q
¬q^r
(p→q)v(¬q^r)
r→q
(p→q)v(¬q^r) ↔ r→q
1
1
1
0
1
0
1
1
1
1
1
0
0
1
0
1
1
1
1
0
1
1
0
1
1
0
0
1
0
0
1
0
0
0
1
0
0
1
1
0
1
0
1
1
1
0
1
0
0
1
0
1
1
1
0
0
1
1
1
1
1
0
0
0
0
0
1
1
0
1
1
1










{¬(p→¬r)^¬q} v (¬p^q)
p
q
r
¬r
¬p
¬q
¬(p→¬r)
{¬(p→¬r)^¬q}
(¬p^q)
{¬(p→¬r)^¬q}v(¬p^q)
1
1
1
0
0
0
1
0
0
0
1
1
0
1
0
0
0
0
0
0
1
0
1
0
0
1
1
1
0
1
1
0
0
1
0
1
0
0
0
0
0
1
1
0
1
0
0
0
1
1
0
1
0
1
1
0
0
0
1
1
0
0
1
0
1
1
0
0
0
0
0
0
0
1
1
1
0
0
0
0

{(p→¬q)^r}↔q
P
Q
R
¬q
p→¬q
p→¬q¬r
{(p→¬q)^r}↔q
1
1
1
0
0
0
0
1
1
0
0
0
0
0
1
0
1
1
1
1
0
1
0
0
1
1
0
1
0
1
1
0
1
1
1
0
1
0
0
1
0
0
0
0
1
1
1
1
0
0
0
0
1
1
0
1

{(p→¬q) ^(r→¬q)} →¬r
P
Q
R
¬q
¬r
p→¬q
r→¬q
p→¬q^r→¬q
(p→¬q^r→¬q)→¬r
1
1
1
0
0
0
0
0
1
1
1
0
0
1
0
1
0
1
1
0
1
1
0
1
1
1
0
1
0
0
1
1
1
1
1
1
0
1
1
0
0
1
0
0
1
0
1
0
0
1
1
1
1
1
0
0
1
1
0
1
1
1
0
0
0
0
1
1
1
1
1
1





(p^q) v (r^¬s)
P
Q
R
S
¬s
p^q
r^¬s
p^qv r^¬s
1
1
1
1
0
1
0
1
1
1
1
0
1
1
1
1
1
1
0
1
0
1
0
1
1
1
0
0
1
1
0
1
1
0
1
1
0
0
0
0
1
0
1
0
1
0
1
1
1
0
0
1
0
0
0
0
1
0
0
0
1
0
0
0
0
1
1
1
0
0
0
0
0
1
1
0
1
0
1
1
0
1
0
1
0
0
0
0
0
1
0
0
1
0
0
0
0
0
1
1
0
0
0
0
0
0
1
0
1
0
1
1
0
0
0
1
0
0
0
0
0
0
0
0
1
0
0
0

(p^q)↔(r^¬s)
P
Q
R
S
¬s
p^q
r^¬s
p^q↔ r^¬s
1
1
1
1
0
1
0
0
1
1
1
0
1
1
1
1
1
1
0
1
0
1
0
0
1
1
0
0
1
1
0
0
1
0
1
1
0
0
0
1
1
0
1
0
1
0
1
0
1
0
0
1
0
0
0
1
1
0
0
0
1
0
0
1
0
1
1
1
0
0
0
1
0
1
1
0
1
0
1
0
0
1
0
1
0
0
0
1
0
1
0
0
1
0
0
1
0
0
1
1
0
0
0
1
0
0
1
0
1
0
1
0
0
0
0
1
0
0
0
1
0
0
0
0
1
0
0
1



(¬p v ¬q)→(r^¬s)
P
Q
R
S
¬p
¬q
¬s
¬pv¬q
r^¬s
¬pv¬q→r^¬s
1
1
1
1
0
0
0
0
0
1
1
1
1
0
0
0
1
0
1
1
1
1
0
1
0
0
0
0
0
1
1
1
0
0
0
0
1
0
0
1
1
0
1
1
0
1
0
1
0
0
1
0
1
0
0
1
1
1
1
1
1
0
0
1
0
1
0
1
0
0
1
0
0
0
0
1
1
1
0
0
0
1
1
1
1
0
0
1
0
0
0
1
1
0
1
0
1
1
1
1
0
1
0
1
1
0
0
1
0
0
0
1
0
0
1
0
1
1
0
0
0
0
1
1
1
1
0
1
0
0
0
0
1
0
1
1
1
1
1
1
0
0
0
1
1
1
0
1
0
0
0
0
0
0
1
1
1
1
0
0




¬(p^q)→(r v ¬s)
P
Q
R
S
¬s
¬(p^q)
R v ¬s
¬(p^q)→ (r v¬s)
1
1
1
1
0
0
1
1
1
1
1
0
1
0
1
1
1
1
0
1
0
0
0
1
1
1
0
0
1
0
1
1
1
0
1
1
0
1
1
1
1
0
1
0
1
1
1
1
1
0
0
1
0
1
0
0
1
0
0
0
1
1
1
1
0
1
1
1
0
1
1
1
0
1
1
0
1
1
1
1
0
1
0
1
0
1
0
0
0
1
0
0
1
1
1
1
0
0
1
1
0
1
1
1
0
0
1
0
1
1
1
1
0
0
0
1
0
1
0
0
0
0
0
0
1
1
1
1

q→(r^¬s)^¬p
P
Q
R
S
¬p
¬s
r^¬s
q→r^¬s
(q→r^¬s)^¬p
1
1
1
1
0
0
0
0
0
1
1
1
0
0
1
1
1
0
1
1
0
1
0
0
0
0
0
1
1
0
0
0
1
0
0
0
1
0
1
1
0
0
0
1
0
1
0
1
0
0
1
1
1
0
1
0
0
1
0
0
0
1
0
1
0
0
0
0
1
0
1
0
0
1
1
1
1
0
0
0
0
0
1
1
0
1
1
1
1
1
0
1
0
1
1
0
0
0
0
0
1
0
0
1
1
0
0
0
0
0
1
1
1
0
0
1
1
0
0
1
0
1
1
1
1
1
0
0
0
1
1
0
0
1
1
0
0
0
0
1
1
0
1
1



Publicado por en

No hay comentarios:

Publicar un comentario

Suscribirse a: Enviar comentarios (Atom)