UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA

Curso: Lgica Matemtica
Tutor: Jos Adel Barrera Cardozo
Trabajo Colaborativo 02 _TAUTOLOGA
Estudiante: MAYRA TATIANA RIVERA LARA_CC. 1075219031
1. Demuestre que las siguientes proposiciones compuestas son tautologas
a. (pq)*(p)(q)+
p

q pq (p)(q) (pq)*(p)(q)+

Es una tautologa

b. (pq)*(p)(q)+
p

q pq (p)(q) (pq)*(p)(q)+

Es una contradiccin

c. (pq) *(pq)(qp)+
p

pq pq qp (pq)(qp) (pq) [(pq)(qp)]

Es una tautologa

d. (pq) *(pq)(qp)+
p

pq pq qp (pq)(qp) *(pq)(qp)] (pq) *(pq)(qp)]

Es una contradiccin

e. *(pq)(qr)+(pr)
p

pq qr pr (pq)(qr)

[(pq)(qr)](pr)

Es una tautologa

f. *(pq)(qr)+r
p

pq qr (pq)(qr) *(pq)(qr)+r

No es una tautologa

g. (pq)p
p

pq (pq)p

No es una tautologa

h. (pq)(qp)
p

pq qp (pq)(qp)

Es una tautologa

i. (pq)*(p)(q)+
P

p pq (p)(q) (pq)*(p)(q)+

Es una tautologa

j. [(pq)]*(p)(q)+
p

q pq (pq) (p)(q)

[(pq)]*(p)(q)+

Es una tautologa

k. *(pq)+*(p)(q)+
p

q pq (pq) (p)(q) *(pq)+*(p)(q)+

Es una tautologa

l. *(p)p+
p

p (p) *(p)p]

Es una tautologa

m. *(pq)+*p(q)+
p

pq (pq) p(q) *(pq)][p(q)+

Es una tautologa

2. Demostrar que las siguientes proposiciones compuestas son lgicamente

equivalentes:

pq*(p)r] con (p)*(q)r]

p

pq (p)r

pq*(p)r+

(q)r

(p)*(q)r+

No son lgicamente equivalentes

3. Ejercicios del modulo

Punto 9: Determinar los posibles valores de verdad para las proposiciones:

a. pq
p

q pq

b. pq
p

q pq

c. Pq
p

q Pq

d. pp
p

pp

e. (pq)
p

q pq (pq)

f. [(pq)(pq)]
p

pq pq

*(pq)(pq)+

g. (pq)(rs)

pq

rs

(pq)(rs)

Punto 10: Demostrar que la proposicin *(pq)(qr)+(pr) es una

tautologa.
P

pq qr

pr (pq)(qr) [(pq)(qr)](pr)

Es una tautologa

Punto 11: Demostrar que la proposicin ,*(pq)(rs)+(pr)-qs es una

tautologa.

pq

r s

pr

qs

(pq)(rs)

[(pq)(rs)+(pr)

{[(pq)(rs)+(pr)}qs

Es una tautologa

Punto 12: Demostrar que la proposicin (pq) y la proposicin pq son

lgicamente equivalentes.
p

pq (pq)

q pq

Son lgicamente equivalentes

Punto 13: Demostrar que la proposicin pq y la proposicin pq son

lgicamente equivalentes.
p

pq

p pq

Son lgicamente equivalentes