Matemática Discreta

Práctica de Matemática Discreta N°02

TEMA N° 2: Tablas De Verdad, Leyes y Equivalencias Notables y Deducción Natural

Apellidos : ………………………..……………….
Sección :
Nombres : …………………………………………….
Fecha : 28/08/2017 Duración:
Docente : Ing. Tulio Oré La Fuente
Tipo de Práctica: Individual ( X ) Grupal ( )

Utilizando las tablas de verdad, compruebe cada una de las simplificaciones dadas.
1. p  (q  r)  q  (p  r)
p  (q  r)  p  (q  r) Condicional
 (p  q)  r Asociativa
 (q  p)  r) Conmutativa
 q  (p  r) Asociativa

2. (p  q)  p  p  q
(p  q)  p  [(p  q)  p]  [p  (p  q)] Bicondicional
 [(p  q)  p]  [p  (p  q)] Condicional
 [(p  q)  p]  [p  (p  q)] Condicional
 [(p  q)  p]  [p  (p  q)] De Morgan
 p  [p  (p  q)] Absorción
 p  [(p  p)  q] Asociativa
 p  (p  q) Idempotencia
 p  q Absorción

3. (p  q)  (p  r)  p  (q  r)
(p  q)  (p  r)  (p  q)  (p  r) Condicional
 [(p  q)  p]  r Asociativa
 [p  (p  q)]  r Conmutativa
 [(p  p)  q]  r Asociativa
 (p  q)  r Idempotencia
 p  (q  r) Asociativa
 Matemática Discreta

4. p  q  p  q
p  q  (p  q)  (q  p) Bicondicional
 [(p)  q]  [(q)  p] Condicional
 (p  q)  (q  p) Doble negación
 (q  p)  (p  q) Conmutativa
 (q  p)  (p  q) Condicional
 (p  q)  (q  p) Conmutativa
 p  q Bicondicional

5. (p  q)  q  p  q
(p  q)  q  [(p  q)  q]  [q  (p q)] Bicondic.
 [(p  q)  q]  [q  (p  q)] Condicional
 [(p  q)  q]  [q  (p  q)] Condicional
 {[(p)  q)]  q]}  [q  (p  q)] De M.
 [(p  q)  q]  [q  (p  q)] D. negac.
 [(p  q)  q]  [q  (q  p)] Conmutat.
 [(p  q)  q]  [(q  q)  p] Asociativa.
 [(p  q)  q]  [T  p)] Tercio excluido
 [(p  q)  q]  T Identidad
 [(p  q)  q] Identidad
 p  q Absorción.

6. (p  r)  (q  r)  (p  q)  r
(p  r)  (q  r)  (p  r)  (q  r) Condicional
 p  [r  (q  r)] Asociativa
 p  [(r  q)  r] Asociativa
 p  [(q  r)  r] Conmutativa
 p  [q  (r  r)] Asociativa
 p  (q  r) Idempotencia
 (p  q)  r Asociativa
 (p  q)  r De Morgan
 (p  q)  r
 Matemática Discreta

Simplifique utilizando leyes y equivalências notables, las siguientes formulas logicas, y

luego verifique mediante tablas de verdad

1. (p q)  q Resp: T

2. [(p  q)  q]  p Resp: p

3. {[(p  q)  (p  r)]  (p  r)} Resp: p  q

4. {[(p  q)  (p  q)]  p}  [(p  q)  (q  p)] Resp: p

5. [(p  q)  (q  r)]  p Resp: p

6. [(p  q)  (p  q)]  [r  (q  p)] Resp: p  q

7. [(p  q)  (q  p)]  [(p  p)  (q  r) Resp: T

8. [(p  q)  (p  q)]  [r  (q  p)] Resp: p  r

9. {[(p  q)  (p  q)] v (p  q)}  [(q  r)  r] Resp: q  r

10. {[(p  q)  (r  q)]  (p  r)}  [(q  r)  r] Resp: C

11. {[(p  q)  (r  q)]  (p  r)}  [(p  q)  q]

Demostración de cada una de las conclusiones de los siguientes razonamientos:

1.1 P(1) x = y  x = z
P(2) x = z  x = 1
P(3) x = 0  x  1
P(4) x = y /∴ x  0
Solución:
P(5) x = z MP 1,4
P(6) x = 1 MP 2,5
P(7) x  0 MT 3,6

1.2 P(1) (P  Q)  (Q  R)

P(2) (R  S)  (P  Q) /∴ R  (S  Q)
Solución:
P(3) P  Q S1
P(4) (R  S) MT 2,3
 Matemática Discreta

P(5) R  S De Morgan 4
P(6) (Q  R) S1
P(7) Q  R De Morgan 6
P(8) (R  S)  (Q  R) Adj 5,7
P(9) R  (S  Q) Distributiva 8

1.3 P(1) (P  R)

P(2) Q  P
P(3) R  S
P(4) (Q  S)  (T  S) /∴ T  S
Solución:
P(5) P  R De Morgan 1
P(6) R S5
P(7) S MP 3,6
P(8) P S5
P(9) Q SD 2,8
P(10) Q  S Adj 7,9
P(11) T  S MP 4,10

1.4 P(1) (R  S)  N

P(2) S  (P  Q)
P(3) R  T
P(4) T /∴ Q  N
Solución:
P(5) R  S S1
P(6) R  (P  Q) HS 2,5
P(7) R MT 3,4
P(8) P  Q MP 6,7
P(9) Q S8
P(10) N S1
P(11) Q  N Adj 9,10
Demuestre la conclusión de cada uno de los siguientes razonamientos:
 Matemática Discreta

Demostrar A  B, si:
CA
C
CB

Demostrar B  D, si:
BC
BD

Demostrar S  Q, Si:
S  Q
(T  R )
S  (T  R)

Demostrar A  C, si:
A  B
C  B

Demostrar P, si:
PQ
T
QT

Demostrar B, si:
A  B
A  E
E

Demostrar M, si:
SP
M  N
SN

Demostrar A  B, si:
B
B  D
AD

Demostrar P, si:
 Matemática Discreta

T  (P  Q)
(T)
Q

Demostrar U, si:
P  T
ST
SQ
(Q  P)  U

Demostrar x > y  y ≥ 6, si:

x>yx>5
x≤5y≥6
x+y=1x>y

Demostrar x ≠ 3  x > 2, si:

x + 2 ≠ 5  2x = 6
x+2≠5x≠3
2x – 2 = 8  2x ≠ 6
x + 3 = 8  2x – 2 = 8

Referencias bibliográficas consultadas

 KATAYAMA, Roberto. Introducción a la lógica. 1° ed. Perú: Universitaria URP.

Instrucciones: La práctica es para reforzar las clases presenciales y consolidar sus conocimientos sobre
este tema
 CHAVEZ, A. 2000. Introducción a la lógica. Lima: Tercera edición. UNMSM, 2000.