Este documento presenta un taller de lógica matemática y teoría de conjuntos. Contiene 10 ejercicios sobre diferentes temas como proposiciones lógicas, argumentos lógicos, operadores lógicos y sus equivalencias. El objetivo es desarrollar la habilidad de expresar el lenguaje natural con lógica y ser competente en asignar valores de verdad a expresiones lógicas.
0 calificaciones0% encontró este documento útil (0 votos)
35 vistas4 páginas
Este documento presenta un taller de lógica matemática y teoría de conjuntos. Contiene 10 ejercicios sobre diferentes temas como proposiciones lógicas, argumentos lógicos, operadores lógicos y sus equivalencias. El objetivo es desarrollar la habilidad de expresar el lenguaje natural con lógica y ser competente en asignar valores de verdad a expresiones lógicas.
Este documento presenta un taller de lógica matemática y teoría de conjuntos. Contiene 10 ejercicios sobre diferentes temas como proposiciones lógicas, argumentos lógicos, operadores lógicos y sus equivalencias. El objetivo es desarrollar la habilidad de expresar el lenguaje natural con lógica y ser competente en asignar valores de verdad a expresiones lógicas.
Este documento presenta un taller de lógica matemática y teoría de conjuntos. Contiene 10 ejercicios sobre diferentes temas como proposiciones lógicas, argumentos lógicos, operadores lógicos y sus equivalencias. El objetivo es desarrollar la habilidad de expresar el lenguaje natural con lógica y ser competente en asignar valores de verdad a expresiones lógicas.
Descargue como PDF, TXT o lea en línea desde Scribd
Descargar como pdf o txt
Está en la página 1/ 4
Escuela de Ingeniería
Materia: Mat. Discreta
Tipo de Actividad: Taller 2 Docente: Esp. Carlos A Rodriguez
Trabajo Autónomo:
Objetivo: Desarrollar la habilidad para expresar el lenguaje natural con el uso del lenguaje de la lógica. Ser competente para asignar el valor de verdad de expresiones lógicas. 1. ¿Cuáles de estas frases son proposiciones? ¿Cuál es valor de verdad de aquellas que son proposiciones? Justifique su respuesta a. Boston es la capital de b. Responda esta pregunta Massachussets c. Medellín es la Capital de d. x+y=y+x para todo par de números reales Argentina x, y e. x+1=5 Si x=1 f. x+y=y+z Si x=z g. ¿Qué hora es? h. El verano en Moñitos (Cordoba) es cálido y soleado 2. Sean p y q los enunciados P: Compré un billete de lotería esta semana. Q: Gane el bote de un millón de euros del viernes Exprese cada uno de los siguientes enunciados de la lógica proposicional en lenguaje natural. a. ~P b. P⇒𝑄 c. P∧𝑄 d. ~𝑃 ∨ (𝑃 ∧ 𝑄) e. ~P ∧ ~Q f. ~𝑃 ⟹ ~𝑄 g. P∨Q h. 𝑃⇔𝑄 3. Encuentre la forma del siguiente argumento lógico: Si Tomas tiene 17 años ,entonces Tomas tiene la misma edad que Juana. Si Joaquin tiene distinta edad que Tomas, entonces, Joaquin tiene distinta edad que Juana. Tomas tiene 17 años y Joaquin tiene la misma edad que Juana. Por tanto, Joaquin tiene la misma edad que Tomas y Tomas y Tomas la misma edad que Juana. 4. Encuentre la forma del siguiente argumento lógico: Si la enmienda no fue aprobada entonces la Constitución queda como estaba. Si la constitución queda como estaba entonces no podemos añadir nuevos miembros al comité o podemos añadir nuevos miembros al comité o informe se retrasará un mes. El informe no se retrasará un mes. Por tanto, la enmienda fue aprobada. 5. Escriba el reciproco, contrarrecíproco para los siguientes enunciados condicionales: a. Si un triángulo es equilátero ,entonces es isósceles. b. Si mcm(x,5)=10 entonces x=10. c. Si un mes del año tiene 28 días, entonces el mes es febrero.
1 Escuela de Ingeniería Materia: Mat. Discreta Tipo de Actividad: Taller 2 Docente: Esp. Carlos A Rodriguez
Trabajo Autónomo:
d. Si un triángulo tiene dos ángulos iguales, entonces es isósceles.
6. Sean p y q los enunciados
P: Está permitido nadar en la costa de New Jersey Q: Se han divisado tiburones cerca de la costa. Exprese cada uno de los siguientes enunciados de la lógica en lenguaje natural. a. ~q b. P ⇒ 𝑄 c. P ⟹ ~𝑄 d. ~𝑃 ∧ (𝑃 ∨ 𝑄) e. P ⟺ ~Q f. ~𝑃 ⟹ ~𝑄 g. P ∧ Q h. 𝑃 ⇔ 𝑄
7. Sean p y q los enunciados
P: Conduces a más de 100 km por hora. Q: Te multan por exceso de velocidad. Formalice1 los enunciados siguientes. a. No conduces a más de 100 km b. Conduces a más de 100 km por hora, pero por hora. no te multan por exceso de velocidad. d. Conducir a más de 100 km por hora es c. Te multarán por exceso de suficiente para.que te multen por exceso de velocidad si conduces a más de velocidad. 100 km por hora. f. Si no conduces a más de 100 km por hora no te e. Siempre que te multan por exceso multarán por exceso de velocidad. de velocidad conduces a más de 100 km por hora. 8. Determine cuales de estos bicondicionales son verdaderos y cuales son falsos. a. 2 + 2 = 4 if and only if 1 + 1 = 2. b. 1 + 1 = 2 if and only if 2 + 3 = 4 d. 0 > 1 if and only if 2 > 1 c. 1 + 1 = 3 if and only if monkeys can fly 9. Sean P, Q y R los enunciados P: Tienes un 5 en el examen final. Q: Haces todos los problemas del libro. R: Tienes un 5 en esta asignatura.
1 Recuerde que debe asignar variables proposicionales y unirlas por el correspondiente(s) conector lògico.
2 Escuela de Ingeniería Materia: Mat. Discreta Tipo de Actividad: Taller 2 Docente: Esp. Carlos A Rodriguez
Trabajo Autónomo:
Formalice los siguientes enunciados.
a. Tienes un 5 en el examen b. Tienes un 5 en el examen final, haces final, pero no haces todos los todos los problemas del libro y tienes un problemas del libro 5 en esta asignatura. d. Tener un 5 en el examen final y hacer c. Tienes un 5 en el examen todos los problemas del libro es suficiente final, pero no haces todos los para tener un 5 en esta asignatura. problemas del libro; no obstante, tienes un 5 en esta asignatura. f. Tendrás un 5 en esta asignatura si, y sólo e. Para tener un 5 en esta si, tienes un 5 en el examen final o haces asignatura es necesario tener todos los problemas del libro. un 5 en el examen final. 10. ¿Para cada una de las siguientes instrucciones siguientes, Cuál es el valor de x tras ejecutar la instrucción en un computador, sí x vale 1 antes de que se ejecute dicha instrucción? a. if 1 + 2 = 3 then x:= x +1 b. if (1 + 1 = 3) OR (2 + 2 = 3) then x := x + 1 c. if (2 + 3 = 5) AND (3 + 4=7) then X: = X+ 1 d. if ( 1 + 1 = 2) XOR (1 + 2 = 3) then x := x + 1 e. if x < 2 then x := x + 1 11. Se sabe que la proposición ¬𝑃 → 𝑄 es una proposición Falsa, que valor de verdad tiene la proposición 𝑃 ∧ ¬𝑄. Justifique su repuesta. 12. Suponga que P. Q. R y S son cuatro proposiciones que tienen valor de verdad: falso, verdadero, verdadero y falso, respectivamente. Hallar el valor de verdad de las siguientes proposiciones compuestas: a. (~𝑃 ∨ 𝑄) → ~𝑅 b. ~(𝑃 ∨ 𝑄) ∧ (𝑄 → 𝑅) c. (𝑃 ∨ 𝑆) → 𝑄) d. 𝑃 ∧ ((𝑄 → 𝑅) ∨ 𝑆) e. ((𝑃 ∧ 𝑄) → 𝑅) ∨ 𝑆 f. 𝑃 ↔ (𝑄 ∨ 𝑆) g. p ∨(q⟶~r) h. ((~p∨q)∨r)⟷(p⟶r) i.
Solución: Al g. 𝒑 ∨ (𝒒 ⟶ ~𝒓 )
V F
F F
3 Escuela de Ingeniería Materia: Mat. Discreta Tipo de Actividad: Taller 2 Docente: Esp. Carlos A Rodriguez
Trabajo Autónomo:
Bibliografía Acevedo Vélez, D P. Arango Parra J C, (2020). Lógica y Teoría de Conjuntos, Medellín-Colombia, Universidad de Antioquia. Suppes P, Hill S, (1976). Introducción a la Lógica matemática, Bogotá-Colombia, Editorial Reverte. Rosen K, H, (200). Matemática Discreta y sus Aplicaciones, Bogotá-Colombia, Mc Graw Hill.
