Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Evidencia 5

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 4

Actividad 5.

1. Realice los siguientes ejercicios construyendo las tablas de verdad y


expresar si son tautología, contradicción o contingencia.
a) (p =>q)  (q-p)
b) (p  -q)  (-p q)
c) (p q)  (-p  q)
d) (p  q)  -q
e) (p q) => -r
f) (p  q) => r
2. Simplifique los últimos cuatro ejercicios (c,d,e y f), en conjunciones y
disyunciones.
Tablas de verdad
a. (p =>q)  (q-p)
p q -p (p =>q) (q-p) (p =>q)  (q-p)
v v f v f f
v f f f v f
f v v v v v
f f v v f f
Respuesta: Contingencias.

b. (p  -q)  (-p q)


p q -p -q (p  -q) (-p q) (p  -q)  (-p q)
v v f f f f f
v f f v v v v
f v v f f v v
f f v v f f f
Respuesta: Contingencia
c. (p q)  (-p  q)

p q -p p q (-p  q) (p q)  (-p  q)


v v f v v v
v f f f f v
f v v f v f
f f v f v f
Respuesta: Contingencia

d) (p  q)  -q
p q -q (p  q) (p  q)  -q
v v f v f
v f v f f
f v f f v
f f v f f
Respuesta: Contingencia
e) (p q) => -r
p q r -r (p q) (p q) => -r
v v v f v f
v v f v v v
v f v f v f
v f f v v v
f v v f v f
f v f v v v
f f v f f v
f f f v f v
Respuesta: Contingencia
f) (p  q) => r
p q r pq (p  q) => r
v v v v v
v v f v f
v f v f v
v f f f v
f v v f v
f v f f v
f f v f v
f f f f v
Respuesta: Contingencia

2. Simplifique los últimos cuatro ejercicios (c,d,e y f), en conjunciones y


disyunciones.
Bicondicionales
Por disyunción:
a. (p q)  (-p  q)
(p q)  (-p  q)  - (p q)  (p  -q)
b. (p  q)  -q
(p  q)  -q  -(p  q)  q
Por conjunción:
a. (p q)  (-p  q)
(p q) => (-p  q)  (-p  q) => (p q)
b. (p  q)  -q
(p  q) => -q  -q => (p  q)
Condicionales
(p q) => -r
-(p  q)  -r
(p  q) => r
-(p  q)  r

También podría gustarte