UNIVERSIDAD ABIERTA PARA ADULTOS (UAPA)

Escuela de ciencias y tecnología

Ingeniería en software
Asignatura:
Matemática Discreta
Tarea:
Unida VII
Participante:
Elvin Francier Gabriel de Jesús 2018-04186
Jeferson Hernán Gil Almánzar 2018-04883
Reiny Rodríguez Duarte 2018-04066
Jeremy De Jesús Lora Almonte 2018-05109
Rosembel Fermín Núñez 2018-00848
Raúl Gómez Cabreja 2018-04540
Facilitador:
Zoilo A. Marrero Siri
Fecha de entrega:
Viernes, 19 de junio de 2020
República Dominicana, Santiago
 I) Dadas las reglas:
a) "no (A y B)" es lo mismo que "(no A) o (no B)"
y también,

b) "no (A o B)" es lo mismo que "(no A) y (no B)"

Actividades
 Escribe simbólicamente las reglas a y b
¬ (A^B) <=> (¬A) v (¬B)
¬ (A v B) <=> (¬A) ^ (¬B)
Donde:
¬ Es el operador de negación
^ Es el operador de la conjunción
v Es el operador de la disyunción
<=> es un símbolo que significa “Puede ser reemplazado en una prueba lógica.

 Comprueba la representación simbólica de cada regla

Esta representación queda comprobada por la regla de la negación de

la conjunción y la de la disyunción en las leyes de Morgan que indica
que:

La negación tanto de A como de B en la conjunción es equivalente a negar la

disyunción de A y B

¬A ^ ¬B_
¬ (A v B)

p q (p Λ q) ~ (p Λ q) p q ~p ~q (~p v ~q)
V V V F V V F F F
V F F V V F F V V
F V F V F V V F V
F F F V F F V V V
La negación tanto de A como de B en la disyunción es equivalente a negar la
conjunción de A y B
¬A v ¬B_
¬ (A ^ B)

p q (p v q) ~ (p v q) p q ~p ~q (~p Λ ~q)
V V V F V V F F F
V F V F V F F V F
F V V F F V V F F
F F F V F F V V V

II) Realice la comprobación tautológica de las siguientes reglas (usa 1

para verdadero y 0 para falso)
p q (p v q) p → (p v q)

1 1 1 1

1 0 1 1

0 1 1 1

0 0 0 1

p q (p Λ q) (p Λ q) → p

1 1 1 1

1 0 0 1

0 1 0 1

0 0 0 1
 p q (p →q) [p Λ (p →q)] [p Λ (p →q)] → q

1 1 1 1 1

1 0 0 0 1

0 1 1 0 1

0 0 1 0 1

p q ~p ~q (p →q) [(p →q) Λ ~q] [(p →q) Λ ~q] → ~p

1 1 0 0 1 0 1

1 0 0 1 0 0 1

0 1 1 0 1 0 1

0 0 1 1 1 1 1

p q r (p →q) (q →r) (p →r) [(p →q) Λ (q →r)] [(p →q) Λ (q →r)] → (p →r)

1 1 1 1 1 1 1 1

1 1 0 1 0 0 0 1

1 0 1 0 1 1 0 1

1 0 0 0 1 0 0 1

0 1 1 1 1 1 1 1

0 1 0 1 0 1 0 1

0 0 1 1 1 1 1 1

0 0 0 1 1 1 1 1
 p q ~p (p v q) [(p v q) Λ ~p] [(p v q) Λ ~p] → q

1 1 0 1 0 1

1 0 0 1 0 1

0 1 1 1 1 1

0 0 1 0 0 1

P q r s (p →q) (r →s) (p v (q v s) (p →q) Λ (r →s) [(p →q) Λ (r →s) Λ (p v r)] [(p →q) Λ (r →s) Λ (p v r)] → (q v s)
r)

1 1 1 1 1 1 1 1 1 1 1

1 1 1 0 1 0 1 1 0 0 1

1 1 0 1 1 1 1 1 1 1 1

1 1 0 0 1 1 1 1 1 1 1

1 0 1 1 0 1 1 1 0 0 1

1 0 1 0 0 0 1 0 0 0 1

1 0 0 1 0 1 1 1 0 0 1

1 0 0 0 0 1 1 0 0 0 1

0 1 1 1 1 1 1 1 1 1 1

0 1 1 0 1 0 1 1 0 0 1

0 1 0 1 1 1 0 1 1 0 1

0 1 0 0 1 1 0 1 1 0 1

0 0 1 1 1 1 1 1 1 1 1

0 0 1 0 1 0 1 0 0 0 1

0 0 0 1 1 1 0 1 1 0 1

0 0 0 0 1 1 0 0 1 0 1
P q r s ~p ~q ~r ~ (p →q) (r →s) (~q v ~s) (~p v ~r) (p →q) Λ (r →s) [(p →q) Λ (r →s) Λ (~q v [(p →q) Λ (r →s) Λ (~q v ~s)]
s ~s)] →(~p v ~r)

1 1 1 1 0 0 0 0 1 1 0 0 1 0 1

1 1 1 0 0 0 0 1 1 0 1 0 0 0 1

1 1 0 1 0 0 1 0 1 1 0 1 1 0 1

1 1 0 0 0 0 1 1 1 1 1 1 1 1 1

1 0 1 1 0 1 0 0 0 1 1 0 0 0 1

1 0 1 0 0 1 0 1 0 0 1 0 0 0 1

1 0 0 1 0 1 1 0 0 1 1 1 0 0 1

1 0 0 0 0 1 1 1 0 1 1 1 0 0 1

0 1 1 1 1 0 0 0 1 1 0 1 1 0 1

0 1 1 0 1 0 0 1 1 0 1 1 0 0 1

0 1 0 1 1 0 1 0 1 1 0 1 1 0 1

0 1 0 0 1 0 1 1 1 1 1 1 1 1 1

0 0 1 1 1 1 0 0 1 1 1 1 1 1 1

0 0 1 0 1 1 0 1 1 0 1 1 0 0 1

0 0 0 1 1 1 1 0 1 1 1 1 1 1 1

0 0 0 0 1 1 1 1 1 1 1 1 1 1 1

p c ~p (~p → c) (~p → c) → p

1 1 0 1 1

1 0 0 1 1

0 1 1 1 0

0 0 1 0 1
p q r (p Λ q) (q →r) (p → (q → r) [(p Λ q) Λ (p → (q → r))] [(p Λ q) Λ (p → (q → r))] →r

1 1 1 1 1 1 1 1

1 1 0 1 0 0 0 1

1 0 1 0 1 1 0 1

1 0 0 0 1 1 0 1

0 1 1 0 1 1 0 1

0 1 0 0 0 1 0 1

0 0 1 0 1 1 0 1

0 0 0 0 1 1 0 1

p q (p Λ q) (q Λ p) (p Λ q) → (q Λ p)

1 1 1 1 1

1 0 0 0 1

0 1 0 0 1

0 0 0 0 1