lunes, 14 de marzo de 2011

tareas II segunda parte

                                       TABLAS DE VERDA 

TABLA 17
p
q
r
p ↔ q
p↔q˅r
O
O
O
I
I
O
O
I
I
I
O
I
O
O
O
O
I
I
O
I
I
O
O
O
O
I
O
I
O
I
I
I
O
I
I
I
I
I
I
I

TABLA 18
p
q
¬p
(¬p˅q)
(p˄q)
(¬p˅q)˅(p˄q)
(¬p˅q)˅¬p
[(¬p˅q)˅(p˄q) ]→[(¬p˅q)˅¬p]
0
O
I
I
O
I
I
I
0
I
I
I
O
I
I
I
I
O
O
O
O
O
O
I
I
I
O
I
I
I
I
I



TABLA 19
p
q
¬q
(p˅¬q)
¬p
(¬p→¬q)
(p˅¬q)→(¬p→¬q)
0
O
I
I
I
I
O
0
I
O
O
I
O
O
I
O
I
I
O
I
O
I
I
O
I
O
I
O


TABLA 20
p
q
¬q
(p↔¬q)
(p˅¬q)
(p↔¬q)˅(p˅¬q)
0
O
I
O
I
I
0
I
O
I
O
I
I
O
I
I
I
I
I
I
O
O
I
I


TABLA 21
p
q
¬p
(¬p˄q)
(¬p→q)
(¬p˄q)˅(¬p→q)
0
O
I
O
O
O
0
I
I
I
I
I
I
O
O
O
I
I
I
I
O
O
I
I


TABLA 22
p
q
¬q
¬p
¬q˅¬p
0
O
I
I
I
0
I
O
I
I
I
O
I
O
I
I
I
O
O
O


TABLA 23
p
q
r
p → q
(p→q˄r)
¬q
(¬q˅r)
¬(¬q˅r)
¬r
¬(¬q˅r)˅¬r
(p→q˄r)↔¬(¬q˅r)˅¬r
O
O
O
I
O
I
I
O
I
I
O
O
O
I
I
I
I
I
O
O
O
O
O
I
O
I
O
O
O
I
I
I
O
O
I
I
I
I
O
I
O
O
O
O
I
O
O
O
O
I
I
O
I
I
O
I
O
I
O
O
I
I
O
O
O
I
I
I
O
I
O
O
O
I
I
I
O
I
I
I
I
I
O
I
O
O
O
O


TABLA 24
q
r
¬q
(¬q˄r)
(¬q˅r)
¬r
¬(¬q˅r)
¬(¬q˅r)˅¬r
(¬q˄r)→¬(¬q˅r)˅¬r
0
O
I
O
I
I
O
I
I
0
I
I
I
I
O
O
O
O
I
O
O
O
O
I
I
I
I
I
I
O
O
I
O
O
O
I


TABLA 25
p
q
r
p → q
(p→q)˄r
(p ˅ r)
¬(p ˅ r)
¬r
¬(p ˅ r)˅¬r
(p→q)˄r → ¬(p ˅ r)˅¬r
O
O
O
I
O
O
O
I
I
I
O
O
I
I
I
I
I
O
I
I
O
I
O
I
O
O
O
I
I
I
O
I
I
I
I
I
I
O
I
I
I
O
O
O
O
I
I
I
I
I
I
O
I
O
O
I
I
O
I
I
I
I
O
I
O
I
I
I
I
I
I
I
I
I
I
I
I
O
I
I







TABLA 26
p
q
r
p → q
q → r
(p→q)˄(q→r)
¬r
(p˄¬r)
(p→q)˄(q→r) → (p˄¬r)
O
O
O
I
I
I
I
O
O
O
O
I
I
I
I
O
O
O
O
I
O
I
O
O
I
O
I
O
I
I
I
I
I
O
O
O
I
O
O
O
I
O
I
I
I
I
O
I
O
I
O
O
O
I
I
I
O
I
O
O
I
I
I
I
I
I
I
I
I
O
O
O


TABLA 27
p
q
r
¬p
(q˄r)
¬q
(¬q˄r)
¬(¬q˄r)
(q˄r) ˅ ¬(¬q˄r)
O
O
O
I
O
I
O
I
I
O
O
I
I
O
I
I
O
O
O
I
O
I
O
O
O
I
I
O
I
I
I
I
O
O
I
I
I
O
O
O
O
I
O
I
I
I
O
I
O
O
I
I
O
O
I
I
O
O
O
O
O
I
I
I
I
I
O
I
O
O
I
I


TABLA 28
p
q
¬q
(p˅¬q)
(p→q)
(p˅¬q)→(p→q)
¬p
(¬p→q)
(¬p→q)˅¬p
[(¬p→q)˅¬p] ˅ ¬p
[(p˅¬q)→(p→q)] → [(¬p→q)˅¬p] ˅ ¬p]
0
O
I
I
I
I
I
O
I
I
I
0
I
O
O
I
O
I
I
I
I
I
I
O
I
I
O
I
O
I
I
I
I
I
I
O
I
I
I
O
I
I
I
I


TABLA 29
p
q
p ˅ q
¬(p ˅ q)
(p→q)
[¬(p ˅ q) ˅ (p→q)]
¬p
(¬p→q)
[(¬p→q)˅¬p]
[¬(p˅q) ˅ (p→q)] → [(¬p→q)˅¬p]
0
O
O
I
I
I
I
O
I
I
0
I
O
I
I
I
I
I
I
I
I
O
O
I
O
I
O
I
I
I
I
I
I
O
I
O
O
I
I
I








TABLA 30
p
q
r
p → q
q → r
(p→q)˄(q→r)
(p ˄ r)
(p→q)˄(q→r)→(p ˄ r)
O
O
O
I
I
I
I
I
O
O
I
I
I
I
I
I
O
I
O
I
O
O
O
I
O
I
I
I
I
I
I
I
I
O
O
O
I
O
I
I
I
O
I
O
I
O
I
I
I
I
O
I
O
O
O
I
I
I
I
I
I
I
I
I


TABLA 31
p
q
r
p ˄ q
(p˄q→r)
(q˅r)
(p˄q→r) → (q˅r)
O
O
O
O
I
O
O
O
O
I
O
I
I
I
O
I
O
O
I
I
I
O
I
I
O
I
I
I
I
O
O
O
I
O
O
I
O
I
O
I
I
I
I
I
O
I
O
I
I
I
I
I
I
I
I
I


Publicado por en
Etiquetas:

No hay comentarios:

Publicar un comentario

Suscribirse a: Enviar comentarios (Atom)