P. 1
Logica Metametica (Ejercicios proposiciones)

Logica Metametica (Ejercicios proposiciones)

|Views: 17.414|Likes:
Publicado porDiego Flores Castro

More info:

Published by: Diego Flores Castro on Feb 13, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOCX, PDF, TXT or read online from Scribd
See more
See less

07/18/2013

pdf

text

original

Diego Omar Flores Castro

Lógica Matemática
26 de enero de 2011


Facultad de Contaduría y Administración

Materia:
Lógica Matemática

Maestra:
Miguel Angel Suaste Escalante

Alumno:
Diego O. Flores Castro

Trabajo:
Ejercicios proposiciones


Diego Omar Flores Castro
Lógica Matemática
26 de enero de 2011

EJERCICIOS
7. El programa es legible si está bien estructurado.
Si el programa es legible entonces está bien programado.
8. Escriba la reciproca de cada proposición en los ejercicios 1-7.
1. José aprobara el examen de matemáticas discretas si estudia mucho.
Si estudia mucho entonces José aprobara el examen de matemáticas.
2. Rosa podrá graduarse si tiene 160 créditos.
Si tiene 160 créditos entonces Rosa podrá graduarse.
3. Una condición necesaria para que Fernando compre una computadora es que tenga
$2000.
Si tiene $2000 entonces es una condición necesaria para que Fernando compre una
computadora.
4. Una condición suficiente para que Karina lleve el curso de algoritmos es que apruebe
matemáticas discretas.
Si aprueba matemáticas discretas entonces es una condición suficiente para queKarina
lleve el curso de algoritmos.
5. Cuando se construyan mejores automóviles, Buick los construirá.
Si Buick construirá nuevos automóviles entonces cuando se construyan mejores.
6. El auditorio se dormirá si el presidente imparte la conferencia.
Si el presidente imparte la conferencia entonces el auditorio se dormirá.
7. El programa es legible sólo si está bien estructurado.
Si está bien estructurado el programa entonces es legible.
9. Escriba la contrapositiva de cada proposición en los ejercicios 1-7.
1. José aprobara el examen de matemáticas discretas si estudia mucho.
Si no estudia mucho entonces José no aprobara el examen de matemáticas discretas.
2. Rosa podrá graduarse si tiene 160 créditos.
Si no tiene 160 créditos entonces Rosa no podrá graduarse.
Diego Omar Flores Castro
Lógica Matemática
26 de enero de 2011
3. Una condición necesaria para que Fernando compre una computadora es que tenga
$2000.
Si no tiene $2000 entonces es una condición necesaria para que Fernando no compre una
computadora.
4. Una condición suficiente para que Karina lleve el curso de algoritmos es que apruebe
matemáticas discretas.
Si no aprueba matemáticas discretas entonces es una condición necesaria para que Karina
no lleve el curso de algoritmos.
5. Cuando se construyan mejores automóviles, Buick los construirá.
Si Buick no los construirá entonces cuando no se construyan mejores automóviles.
6. El auditorio se dormirá si el presidente imparte la conferencia.
Si el presidente no imparte la conferencia entonces el auditorio no se dormirá.
7. El programa es legible sólo si está bien estructurado.
Si no está bien estructurado entonces el programa no es legible.
Suponiendo que p y r son falsas y que q y s son verdaderas, determine los valores de verdad de
cada proposición en los ejercicios 15, 16 y 17.
15. ݌ ՜ ሺݍ ՜ ݎሻ
ܨ ՜ ሺܸ ՜ ܨሻ ൌ ܨ ՜ ܨ ൌ ܸ
16. ሺݏ ՜ ሺ݌ ר ݎҧ ሻ ר ሺሺ݌ ՜ ሺݎ ש ݍሻሻ ר ݏሻ
൫ܸ ՜ ሺܨ ר ܸሻ൯ ר ቀ൫ܨ ՜ ሺܨ ש ܸሻ൯ ר ܸቁ
ሺܸ ՜ ܨሻ ר ൫ሺܨ ՜ ܸሻ ר ܸ൯
ܨ ר ሺܸ ר ܸሻ
ܨ ר ܸ ൌ ܨ
17. ൫ሺ݌ ר ݍതሻ ՜ ሺݍ ר ݎሻ൯ ՜ ሺݏ ש ݍതሻ
൫ሺܨ ר ܨሻ ՜ ሺܸ ר ܨሻ൯ ՜ ሺܸ ש ܨሻ
ሺܨ ՜ ܨሻ ՜ ܸ
ܸ ՜ ܸ ൌ ܸ

Diego Omar Flores Castro
Lógica Matemática
26 de enero de 2011
En los ejercicios 18-21, represente la afirmación dada de manera simbólica, haciendo
݌ǣ Ͷ ൏ ʹ, ݍǣ ͹ ൏ ͳͲ, ݎǣ ͸ ൏ ͸Ǥ
18. Si Ͷ ൏ ʹǡ ݁݊ݐ݋݊ܿ݁ݏ ͹ ൏ ͳͲǤ
݌ ՜ ݍ
19. Si ሺͶ ൏ ʹ ݕ ͸ ൏ ͸ሻǡ entonces ͹ ൏ ͳͲǤ
ሺ݌ ר ݎሻ ՜ ݍ
20. Si no es cieito que ሺ͸ ൏ ͸ ݕ ͹ ݊݋ ݁ݏ ݉݁݊݋ݎ ݍݑ݁ ͳͲሻǡ entonces ͸ ൏ ͸Ǥ
ܰሺݎ ר ݍതሻ ՜ ݎ
21. ͹ ൏ ͳͲ si y solo si ሺͶ ൏ ʹ ݕ ͸ ݊݋ ݁ݏ ݉݁݊݋ݎ ݍݑ݁ ͸ሻǤ
ݍ ՞ ሺ݌ ר ݎҧ ሻ
En los ejercicios 25 y 26, formule la expresión simbólica con palabras utilizado
݌ǣ Boy es lunesǡ
ݍǣ Está llovienuoǡ
ݎǣ Bace caloiǤ
25. ሺ݌ ר ݍሻ
തതതതതതതതത
՞ ݎ
No es cierto que hoy es lunes y está lloviendo si y solo si hace calor.
26. ൫݌ ר ሺݍ ש ݎሻ൯ ՜ ሺݎ ש ሺݍ ר ݌ሻሻ
Si bien hoy es lunes y está lloviendo o hace calor, entonces bien hace calor ó está lloviendo y hoy
es lunes.
En los ejercicios 28 y 30, escriba cada proposición condicional en forma simbólica. Escriba la
recíproca y la contrapositiva de cada afirmación de manera simbólica y con palabras. Además,
determine el valor de verdad de cada proposición condicional, su reciproca y su contrapositiva.
28. Si Ͷ ൏ ͸ǡ ݁݊ݐ݋݊ܿ݁ݏ ͻ ൐ ͳʹǤ
݌ ൌ Ͷ ൏ ͸
ݍ ൌ ͻ ൐ ͳʹ
݌ ՜ ݍ
ݍ ՜ ݌ Si ͻ es mayoi que ͳʹǡ entonces Ͷ es menoi que ͸
ݍത ՜ ݌ҧ Si ͻ no es mayoi que ͳʹǡ entonces Ͷ no es menoi que ͸
݌ ՜ ݍ ݍ ݌ ݍത ՜ ݌ҧ
ܸ ՜ ܨ ൌ ܨ ܨ ՜ ܸ ൌ ܸ ܸ ՜ ܨ ൌ ܨ

Diego Omar Flores Castro
Lógica Matemática
26 de enero de 2011
30. ȁͳȁ ൏ ͵ si െ ͵ ൏ ͳ ൏ ͵Ǥ
݌ ൌ ȁͳȁ ൏ ͵
ݍ ൌ െ͵ ൏ ͳ ൏ ͵
݌ ՜ ݍ
ݍ ՜ ݌ Si െ ͵ ൏ ͳ ൏ ͵ǡ ݁݊ݐ݋݊ܿ݁ݏ ȁͳȁ ൏ ͵
ݍത ՜ ݌ҧ Si െ ͵ ൒ ͳ ൒ ͵ǡ entonces ȁͳȁ ൒ ͵

݌ ՜ ݍ
ݍ ՜ ݌

ݍത ՜ ݌ҧ
ܸ ՜ ܸ ൌ ܸ ܸ ՜ ܸ ൌ ܸ ܨ ՜ ܨ ൌ ܸ

Por cada par de proposiciones P y Q en los ejercicios 35, 40 y 41, indique si ࡼ ؠ ࡽǤ
35. ܲ ൌ ݌ ר ሺݍത ש ݎሻǡ ܳ ൌ ݌ ש ሺݍ ר ݎҧ ሻ
p q r ݌ ר ሺݍത ש ݎሻ ݌ ש ሺݍ ר ݎҧ ሻ
V V V V V
V V F F V
V F V V V
V F F V V
F V V F F
F V F F V
F F V F F
F F F F F
ܲ ء ܳ
ࡺ࢕ ࢙࢕࢔ ࢒࢕ࢍ࢏ࢉࢇ࢓ࢋ࢔࢚ࢋ ࢋ࢛ࢗ࢏࢜ࢇ࢒ࢋ࢔࢚ࢋ࢙
40. ܲ ൌ ሺ݌ ՜ ݍሻ ՜ ݎǡ ܳ ൌ ݌ ՜ ሺݍ ՜ ݎሻ
p q r ሺ݌ ՜ ݍሻ ՜ ݎǡ ݌ ՜ ሺݍ ՜ ݎሻ
V V V V V
V V F F F
V F V V V
V F F V V
F V V V V
F V F F V
F F V V V
F F F F V
ܲ ء ܳ
ࡺ࢕ ࢙࢕࢔ ࢒࢕ࢍ࢏ࢉࢇ࢓ࢋ࢔࢚ࢋ ࢋ࢛ࢗ࢏࢜ࢇ࢒ࢋ࢔࢚ࢋ࢙
41. ܲ ൌ ൫ݏ ՜ ሺ݌ ר ݎҧ ሻ൯ ר ቀ൫݌ ՜ ሺݎ ש ݍሻ൯ ר ݏቁ ǡ ܳ ൌ ݌ ר ݐ
Diego Omar Flores Castro
Lógica Matemática
26 de enero de 2011
p q r s ൫ݏ ՜ ሺ݌ ר ݎҧ ሻ൯ ר ቀ൫݌ ՜ ሺݎ ש ݍሻ൯ ר ݏቁ p t ݌ ר ݐ
Al tener diferentes variables P como Q, se concluye que no son equivalentes.
ࡺ࢕ ࢙࢕࢔ ࢒࢕ࢍ࢏ࢉࢇ࢓ࢋ࢔࢚ࢋ ࢋ࢛ࢗ࢏࢜ࢇ࢒ࢋ࢔࢚ࢋ࢙
43. Defina la tabla de verdad para ࢏࢓࢖૛ como
p q p ݅݉݌ʹ q
V V V
V F F
F V V
F F F

(a) Muestre que
ሺ݌ ݅݉݌ʹ ݍሻ ר ሺݍ ݅݉݌ʹ ݌ሻ ء ݌ ՞ ݍǤ
p q ሺ݌ ݅݉݌ʹ ݍሻ ר ሺݍ ݅݉݌ʹ ݌ሻ ࢖ ՞ ݍǤ
V V V V
V F F F
F V F F
F F F V
ࡺ࢕ ࢕࢔ ࢒࢕ࢍ࢏ࢉࢇ࢓ࢋ࢔࢚ࢋ ࢋ࢛ࢗ࢏࢜ࢇ࢒ࢋ࢔࢚ࢋ࢙
(b) Muestre que (1.2.5) sigue siendo verdadera si modificamos imp2, de modo que si p es falsa y q
es verdadera, entonces p imp2 q es falsa.
ܵ݁ܽܽ݊ ݌ǣ ͳ ൐ ʹǡ ݍǣ Ͷ ൏ ͺ
ܧ݊ݐ݋݊ܿ݁ݏ ݌ ݁ݏ ݂݈ܽݏܽ ݕ ݍ ݁ݏ ݒ݁ݎ݀ܽ݀݁ݎܽ
݌ ݅݉݌ʹ ݍ
p q p ݅݉݌ʹ q
F V V
p imp2 q es verdadera y no falsa como se pidió.

Diego Omar Flores Castro
Lógica Matemática
26 de enero de 2011

44. Verifique la segunda ley De Morgan, ሺ࢖ ר ࢗሻ
തതതതതതതതത
ؠ ࢖ഥ ש ࢗഥǤ
p q ሺ࢖ ר ࢗሻ
തതതതതതതതത
࢖ഥ ש ࢗഥǤ
V V F F
V F V V
F V V V
F F V V

ሺ࢖ ר ࢗሻ
തതതതതതതതത
ؠ ࢖ഥ ש ࢗഥǤ
ࡿ࢕࢔ ࢒࢕ࢍ࢏ࢉࢇ࢓ࢋ࢔࢚ࢋ ࢋ࢛ࢗ࢏࢜ࢇ࢒ࢋ࢔࢚ࢋ࢙
45. Muestre que ሺ࢖ ื ࢗሻ ؠ ሺ࢖ഥ ש ࢗሻǤ
p q ሺ࢖ ื ࢗሻ ሺ࢖ഥ ש ࢗሻǤ
V V V V
V F F F
F V V V
F F V V

ሺ࢖ ื ࢗሻ ؠ ሺ࢖ഥ ש ࢗሻǤ
ࡿ࢕࢔ ࢒࢕ࢍ࢏ࢉࢇ࢓ࢋ࢔࢚ࢋ ࢋ࢛ࢗ࢏࢜ࢇ࢒ࢋ࢔࢚ࢋ࢙

Rosa podrá graduarse si tiene 160 créditos. Si Buick construirá nuevos automóviles entonces cuando se construyan mejores. . 1. Escriba la reciproca de cada proposición en los ejercicios 1-7. El programa es legible sólo si está bien estructurado. Rosa podrá graduarse si tiene 160 créditos. Si el programa es legible entonces está bien programado. Escriba la contrapositiva de cada proposición en los ejercicios 1-7. 4.Diego Omar Flores Castro Lógica Matemática 26 de enero de 2011 EJERCICIOS 7. 8. Buick los construirá. Si tiene $2000 entonces es una condición necesaria para que Fernando compre una computadora. Una condición necesaria para que Fernando compre una computadora es que tenga $2000. José aprobara el examen de matemáticas discretas si estudia mucho. 1. Cuando se construyan mejores automóviles. 6. El auditorio se dormirá si el presidente imparte la conferencia. Una condición suficiente para que Karina lleve el curso de algoritmos es que apruebe matemáticas discretas. 9. Si está bien estructurado el programa entonces es legible. Si aprueba matemáticas discretas entonces es una condición suficiente para queKarina lleve el curso de algoritmos. Si no estudia mucho entonces José no aprobara el examen de matemáticas discretas. Si tiene 160 créditos entonces Rosa podrá graduarse. Si estudia mucho entonces José aprobara el examen de matemáticas. El programa es legible si está bien estructurado. 2. 2. 7. 5. Si el presidente imparte la conferencia entonces el auditorio se dormirá. 3. Si no tiene 160 créditos entonces Rosa no podrá graduarse. José aprobara el examen de matemáticas discretas si estudia mucho.

Cuando se construyan mejores automóviles. 15. 16. Si no tiene $2000 entonces es una condición necesaria para que Fernando no compre una computadora.    17. 4. 5. Si el presidente no imparte la conferencia entonces el auditorio no se dormirá. Si Buick no los construirá entonces cuando no se construyan mejores automóviles.Diego Omar Flores Castro Lógica Matemática 26 de enero de 2011 3.   . determine los valores de verdad de cada proposición en los ejercicios 15. El programa es legible sólo si está bien estructurado. Una condición necesaria para que Fernando compre una computadora es que tenga $2000. Si no está bien estructurado entonces el programa no es legible. 6. Buick los construirá. Si no aprueba matemáticas discretas entonces es una condición necesaria para que Karina no lleve el curso de algoritmos. Una condición suficiente para que Karina lleve el curso de algoritmos es que apruebe matemáticas discretas. 7. El auditorio se dormirá si el presidente imparte la conferencia. Suponiendo que p y r son falsas y que q y s son verdaderas. 16 y 17.

•‹›•×Ž‘•‹        En los ejercicios 25 y 26. formule la expresión simbólica con palabras utilizado ‘›‡•Ž—‡•  •–žŽŽ‘˜‹‡†‘  ƒ…‡…ƒŽ‘” 25. 28. Escriba la recíproca y la contrapositiva de cada afirmación de manera simbólica y con palabras. En los ejercicios 28 y 30.Diego Omar Flores Castro Lógica Matemática 26 de enero de 2011 En los ejercicios 18-21. 18. escriba cada proposición condicional en forma simbólica. ‹   ‡–‘…‡• 20. entonces bien hace calor ó está lloviendo y hoy es lunes. Si bien hoy es lunes y está lloviendo o hace calor. determine el valor de verdad de cada proposición condicional. ‹‘‡•…‹‡”–‘“—‡        ‡–‘…‡• 21. represente la afirmación dada de manera simbólica. 19. ‹  . 26. Además. ‹    ‹ ‡•ƒ›‘”“—‡ ‡–‘…‡• ‡•‡‘”“—‡  ‹ ‘‡•ƒ›‘”“—‡ ‡–‘…‡• ‘‡•‡‘”“—‡  . No es cierto que hoy es lunes y está lloviendo si y solo si hace calor. su reciproca y su contrapositiva. haciendo .

p V V V V F F F F  q V V F F V V F F  r V F V F V F V F V F V V F F F F  V V V V F V F F 40. . indique si 35. p V V V V F F F F q V V F F V V F F  r V F V F V F V F  V F V V V F V F  V F V V V V V V 41. •‹   ‹ ‹   ‡–‘…‡•     Por cada par de proposiciones P y Q en los ejercicios 35. 40 y 41.Diego Omar Flores Castro Lógica Matemática 26 de enero de 2011 30.

5) sigue siendo verdadera si modificamos imp2. Defina la tabla de verdad para como p q p V V V F F V F F q V F V F (a) Muestre que         p q V V V F F V F F  V F F F   V F F V (b) Muestre que (1. de modo que si p es falsa y q es verdadera. entonces p imp2 q es falsa.Diego Omar Flores Castro Lógica Matemática 26 de enero de 2011 p q r s p t Al tener diferentes variables P como Q.             p q p q F V V p imp2 q es verdadera y no falsa como se pidió. . se concluye que no son equivalentes.2.    43.

Verifique la segunda ley De Morgan.Diego Omar Flores Castro Lógica Matemática 26 de enero de 2011 44. p V V F F q V F V F  F V V V F V V V   45. Muestre que p V V F F q V F V F   V F V V V F V V  .

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->