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

Actividad Aula 2B

Matemá ticas Discretas


MAT151
Grupo 1862

Completado por:
Franlys Gonzalez Tejeda

Profesor: Miguel Sá nchez

Mayo /10/2022
1.-Escriba la negación de la siguiente proposición.

(a) Estudio en UNAPEC o no saldré del país.

No estudio en UNAPEC y saldré del país


Si estudio en UNAPEC entonces saldré del país

2. ¿Cuál de las siguientes proposiciones es la negación de la proposición


“Si 2 es impar, entonces – 3 es negativo?”
(a) 2 es par y –3 es no negativo
(b) 2 es impar y –3 es no negativo
(c) 2 es par ó –3 es no negativo
(d) 2 es impar ó –3 es no negativo

3 Para cada una de las proposiciones P y Q, establecer mediante tablas de verdad


si P  Q.
1. P = p  (q → r), Q = p  (q  r)
P Q
p q r ~p ~q q→r p ^ (q → r) q ^ r p  (q ^ r)
0 0 0 1 1 1 1 0 0
0 0 1 1 1 1 1 1 1
Conclusión:
0 1 0 1 0 0 0 0 0
0 1 1 1 0 1 1 0 0 PyQ no son
1 0 0 0 1 1 0 0 1 lógicamente equivalentes
1 0 1 0 1 1 0 1 0
1 1 0 0 0 0 0 0 1
1 1 1 0 0 1 0 0 1

2. P = ( p  q)  r, Q = p  (q  r)
P Q
p q r pq (p  q)  r q  r p  (q  r)
0 0 0 1 1 0 1
0 0 1 1 1 0 1
Conclusión:
0 1 0 0 0 0 1
0 1 1 0 1 1 1 PyQ no son
1 0 0 0 0 0 0 lógicamente
1 0 1 0 1 0 0 equivalentes
1 1 0 1 1 0 0
1 1 1 1 1 1 1
4. Para cada una de las siguientes proposiciones, escribe una que sea lógicamente
equivalente:

(a) [(p ^q) ~ r] (p v ~r) ^(q v ~r)

(b) ~ [(p  ~q)  q r] (p ^ q) ^ (~q v ~r)

5. Tomando el ejercicio (a) de del punto 4 y las respuestas dadas, cambie el


símbolo (), por (↔) y construya la tabla de verdad de las proposiciones que se
forman. Escriba, si la proposición resultante es una tautología, una
contradicción o una contingencia.

También podría gustarte