MpI2020 TP2

Universidad Nacional de Salta Primer Cuatrimestre 2020
Facultad de Ciencias Exactas Carreras: LAS - TUP

Matemática Para Informática
Trabajo Práctico N 2: Razonamientos - Métodos de Demostración
Objetivos: El estudiante deberá ser capaz de:
Adquirir y a…anzar el lenguaje matemático.

Determinar condiciones necesarias, su…cientes o necesarias y su…cientes.
Demostrar o refutar proposiciones utilizando el método más conveniente.
Duración: 6 horas.
1. Sabiendo que p ! q es falso, determina el valor de verdad de las siguientes proposiciones:

i. (p ^ q) ii. p _ q iii. (p ^ q) ! p
iv. (q ! p) _ p v. [(p ! q) _ ( p _ q)] ! q
2. Decide si las siguientes proposiciones son tautologías, contradicciones o contingencias, mediante

tablas de verdad.
i. [ (p ! q) ^ q] ^ p ii. [( p ! r) ^ r] ! p
iii. p _ (q^ r) iv. (r ! s) ! [(r _ t) ! (s _ t)]
v. [(p _ q) ^ p] ^ q vi. [(p ! r) ^ (q ! r)] ! [(p ^ q) ! r]
3. Determina usando tablas de verdad si las siguientes proposiciones indican equivalencias lógicas.
i. (p ^ q) ! (p ! q) ii. [p _ (q ^ r)] ! [(p _ q) ^ (p _ r)]
iii. p ! (q ^ r) ! (q_ p) ^ (r_ p) iv. [(p ! q) ^ q] ! (p _ q)
4. La disyunción en sentido excluyente p Y q, puede también escribirse de manera equivalente como
(p^ q) _ ( p ^ q). Veri…ca esto realizando una tabla de verdad.
5. Encuentre proposiciones lógicamente equivalentes a las siguientes utilizando solamente la negación
y la disyunción (_).
i. (p ! q) ii. (p ^ q) ! ( p ^ r) iii. (p ! q) ^ (q _ r)
6. Establece la conclusión de los siguientes argumentos lógicos. Indica la regla de inferencia que uti-
lizaste.
a) Si los alumnos realizan preguntas, entonces aprenderán bastante. Si los alumnos leen a menudo,
ellos realizarán preguntas. En consecuencia . . .
b) Si Carlitos llega tarde al entrenamiento entonces no será titular. Carlitos llegó tarde al entre-
namiento. En consecuencia . . .
c) Si un número es divisible por 6, entonces es divisible por 3. Un número no es divisible por 3.
En consecuencia . . .
7. Encuentra una conclusión adecuada a las premisas dadas de modo que los siguientes argumentos
sean válidos.
i. p ! q^q ii. p! q^r !q iii. p ! r^q !p^r
8. Determina, sin usar tablas de verdad, la validez de los siguientes enunciados:

i. [(p _ q) ^ p] ) q ii. ( p_ q) ^ (r ^ q) ) (p ! r)
iii. [(p _ r) ^ (q_ r)] ) (p ! q) iv. (r ! p) ^ ( q_ r) ) ( p ! q)
9. Decide si los siguientes argumentos son válidos o no son válidos:
a) Si voy al cine, no voy a terminar mi trabajo práctico. Si no termino mi trabajo práctico, no

voy a hacer bien el examen. En consecuencia, si voy al cine, no voy a hacer bien el examen.
b) Si me levanto temprano, estudio mucho. Si estudio mucho puedo hacer deportes. No hago
deportes. Me levanto tarde solo si, estudio mucho y hago deportes. Por lo tanto no estudié
mucho o no hice deportes.
1
c) Si Tomás está retrasado entonces no entrará al teatro. Si el colectivo llega tarde entonces
Tomás está retrasado. El colectivo llega tarde. Por lo tanto, Tomás entrará al teatro.
d ) Si el ejercicio te resulta difícil entonces no viniste a clases o no has estudiado. Has estudiado
y viniste a clases. Por lo tanto el ejercicio no te resulta difícil.
e) Puedes salir con tus amigos si y sólo si lavas los platos. Si sales entonces no iremos a la cena.
Por lo tanto o vamos a la cena o lavas los platos pero no ambos.
f ) Si no especi…co las variables entonces mi programa no empezará. Si programo un ciclo in…nito
entonces mi programa no terminará. Si el programa no empieza o si no termina entonces el
programa fallará. De ahí que si el programa no falla entonces especi…qué las variables y no
programé un ciclo in…nito.
10. Demuestra los siguientes teoremas:

i. (p _ r) ^ [q ! ( p^ r)] ^ [ q ! (r ^ q)] ) r ii. [r ! (r _ q)] ^ r ) (r _ q)
iii. [(p _ q) ! r] ^ ( q ! s) ) [( r ^ s) ! p] iv. (q ! r) ^ [p ! (q ^ r)] ) (p ! r)
v. (p _ s) ^ [(q _ s) ! t] ^ [p ! (q ^ r)] ) (r _ t) vi. p ^ (p ! q) ^ (q _ r) ) r
11. Para las siguientes implicaciones;
i. Cualquier número entero cumple que si es múltiplo de 6, es par.
ii. Si un número no es divisible por 3, su cuadrado no puede ser divisible por 9.
iii. x2 16 = 0 si x 4 = 0.
iv. x2 = 1 sólo si x + 1 = 0 o x 1 = 0.
a) Identi…ca antecedente y consecuente y escríbelas en forma simbólica.

b) Determina el valor de verdad de las implicaciones dadas y de sus recíprocas.
c) Para cada una de las implicaciones dadas indica si el antecedente de la proposición es su…ciente,
necesario o necesario y su…ciente para el consecuente.
12. a) Prueba usando el método directo que, un producto de dos enteros se divide entre 7, si alguno de
sus factores se divide entre 7.
b) Prueba usando la contrarrecíproca que, para n 2 Z, si n2 es impar, entonces n es impar.
p
c) Prueba por contradicción, que 1 + 2 no es racional.
d ) Prueba que existe un número irracional r tal que r + =1
13. Para las implicaciones dadas, demuestra las verdaderas y refuta las falsas. Aplica el método que
creas conveniente.
a) Si un número es múltiplo de 2 entonces su cubo es múltiplo de 4.

b) La suma de dos números es par, sólo si los sumandos son impares.
c) El consecutivo de un número que es par, es un número impar.
d ) Si el cuadrado de un número es par, el número es par.
e) Si u = v ) u2 v2 = 0
f ) Para todo número irracional x; x + a es irracional, con a 2 Z:
g) 8x 2 R; 9y 2 R : xy = 1:
14. Sean los conjuntos A = fx 2 Z j x = 6r + 12 con r 2 Zg ; B = fx 2 Z j x = 2a con a 2 Zg , C =

fx 2 Z j x = 2n 2 con n 2 Zg y D = fx 2 Z j x = 2m 1 con m 2 Zg. Demuestra o refuta que:
i. A C ii. B A iii. A \ C 6= ;
iv. B\D =; v. B=C vi. B \ DC = ;

MpI2020 TP2

Cargado por

Copyright:

Formatos disponibles

MpI2020 TP2

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

MpI2020 TP2

Cargado por

Copyright:

Formatos disponibles

Universidad Nacional de Salta Primer Cuatrimestre 2020

Facultad de Ciencias Exactas Carreras: LAS - TUP

Objetivos: El estudiante deberá ser capaz de:

Adquirir y a…anzar el lenguaje matemático.

1. Sabiendo que p ! q es falso, determina el valor de verdad de las siguientes proposiciones:

2. Decide si las siguientes proposiciones son tautologías, contradicciones o contingencias, mediante

8. Determina, sin usar tablas de verdad, la validez de los siguientes enunciados:

a) Si voy al cine, no voy a terminar mi trabajo práctico. Si no termino mi trabajo práctico, no

10. Demuestra los siguientes teoremas:

a) Identi…ca antecedente y consecuente y escríbelas en forma simbólica.

a) Si un número es múltiplo de 2 entonces su cubo es múltiplo de 4.

14. Sean los conjuntos A = fx 2 Z j x = 6r + 12 con r 2 Zg ; B = fx 2 Z j x = 2a con a 2 Zg , C =

También podría gustarte