Fase Eliminatoria: Marzo de 2011 LICENCIATURA
|
|
- Martín Araya Ortíz
- hace 7 años
- Vistas:
Transcripción
1 Nombre: Institución: INSTRUCCIONES: Todas las preguntas deberán ser respondidas empleando únicamente las herramientas de la Lógica Clásica Formal y de la Lógica Informal. Considera solamente las premisas que están explícitamente escritas. Los ejemplos son ficticios. Elige sólo una respuesta. Cada respuesta correcta te dará un punto. Recuerda que este es un examen que mide habilidades lógicas. Así, cuando leas qué se sigue?, el examen se refiere a seguirse o ser consecuencia lógica según la Lógica Clásica Formal; cuando leas: negación lógica se refiere a negar todo el enunciado. Asimismo, las palabras no, y, o, si entonces, si y sólo si, se refieren a las conectivas lógicas (,,,, ) respectivamente. Tienes una hora y media para resolver el examen. Suerte! 1. Qué podemos afirmar de los siguientes enunciados? E 1 : Todo hombre ama a alguna mujer y E 2 : Algún hombre ama a toda mujer. Suponiendo que hay hombres y mujeres. a. Son equivalentes. b. E 2 implica a E 1 y E 1 no implica a E 1. c. E 1 implica a E 2 y E 1 no implica a E 2. d. E 1 no implica a E 2 y E 2 no implica a E Cuál es la simbolización más adecuada para el siguiente enunciado? Si me gano los pronósticos prometo que: te pagaré un viaje por Europa y viajaremos juntos a Ítaka; y si no cumplo, que me parta un rayo. a. [(G E) I] (C P) b. [G (E I)] ( C P) c. [G (E I)] ( C P) d. G [(E I) ( C P)] 3. Qué es cierto sobre la siguiente afirmación? Si de un conjunto de premisas no se sigue el enunciado A, entonces de ese conjunto se sigue el enunciado A. a. Que es falsa. b. Que es verdadera. c. Que no es ni verdadera ni falsa. d. Que no podemos decidir si es verdadera o falsa. 4. Cuál es la mejor simbolización para el siguiente enunciado? Todos los marineros tienen una mujer en cada puerto. Donde: Mx: x es marinero; Px: x es un puerto; Jx: x es una mujer; Exy: x está en el puerto y; Txy: x tiene a y. a. x y[(mx Py) z(jz Ezy Txz)] b. x y[(mx Py) z(jz Ezy Txz)] c. x y[(mx Py) z(jz Eyz Txz)] d. x y[(mx Py) z(jz Ezy Txz)] VIII OLIMPIADA DE LÓGICA FASE ELIMINATORIA- 1/6
2 5. Dado un condicional cuyo antecedente es una tautología, Cómo debe ser el consecuente para que el condicional sea un enunciado contingente? a. Algunas veces verdadero y algunas veces falso. b. Nunca verdadero y nunca falso. c. Siempre verdadero. d. Siempre falso. 6. Cómo es el siguiente argumento? Algunos países que se comprometen al desarme nuclear no tienen armas nucleares. Algunos países que tienen armas nucleares se comprometen al desarme nuclear y algunos países que tienen armas nucleares no se comprometen. Todos los países comprometidos con el desarme nuclear y que tienen armas nucleares, las destruirán. Todos los países que destruirán armas nucleares, están comprometidos con el desarme. Por lo tanto, algunos países tienen armas nucleares y no las destruirán. b. Inválido con premisas contradictorias. c. Válido con premisas no contradictorias. d. Inválido con premisas no contradictorias. 7. En una isla habitada por los ingleses, funcionan tres clubes. Cuál simbolización expresa mejor la siguiente afirmación? Cualesquiera dos clubes tienen un socio en común. Donde: Cx: x es un club; Sxy: x es socio de y. a. x y z[x y Cx Cy Szx Szy] b. z x y[(x y Cx Cy) (Szx Szy)] c. x y[(x y Cx Cy) z (Szx Szy)] d. x y z[(x y Cx Cy) (Szx Szy)] 8. Cuál de las siguientes afirmaciones se sigue de lo que dice don Quijote? Haz de saber, Sancho hermano, dijo don Quijote- que aunque todos los cortesanos son caballeros no todos los caballeros andantes son cortesanos. a. Alguno que no es cortesano es caballero andante. b. Don Quijote es caballero pero no es cortesano. c. Es falso que: algún cortesano es caballero. d. Ninguno que sea caballero es cortesano. 9. Qué podemos afirmar con certeza a partir de lo siguiente? En Pandora sucede que: Jake ama a Neytiri, si ella no lo ama. Pero Jake no la ama, si ella lo ama. Sin embargo, él no la ama, si él la ama. a. Jake ama a Neytiri y ella lo ama. b. Neytiri no ama a Jake y él la ama. c. Neytiri ama a Jake y él no la ama. d. Jake no ama a Neytiri y ella no lo ama. VIII OLIMPIADA DE LÓGICA FASE ELIMINATORIA- 2/6
3 10. Un argumento deductivo es lógicamente válido, cuando: a. Alguna vez lleva de verdad a falsedad. b. Sus premisas y su conclusión son verdaderas. c. Es posible que nos lleve de verdad a falsedad. d. Es imposible que nos lleve de verdad a falsedad. 11. Cómo es el argumento siguiente? Sofía es una de mis primas. Sofía es una lancha que navega por el río Balsas. Por lo tanto, una de mis primas navega por el río Balsas. a. Válido con premisas no contradictorias. b. Inválido con premisas contradictorias. c. Falacia por usar dos palabras distintas con el mismo sentido. d. Falacia por usar una palabra con dos sentidos distintos. 12. Cuál es la simbolización más adecuada para el siguiente enunciado? Todos los que tienen papá tienen mamá. Donde: Pxy: x es papá de y; Mxy: x es mamá de y. a. x ypyx x zmzx b. x[ ypyx zmzx] c. x[ y Pyx zmzx] d. x[ ypxy zmxz] 13. Cómo es el siguiente argumento? Todos los microbuseros son impacientes. Todos los que son impacientes pero no son microbuseros, son malencarados. Juan es impaciente pero no es malencarado. Por tanto, Juan no es microbusero. b. Válido con premisas no contradictorias. c. Inválido con premisas contradictorias. d. Inválido con premisas no contradictorias. 14. Cuál de las siguientes afirmaciones sobre argumentos es verdadera? a. Si un argumento válido tiene la conclusión falsa, tiene todas las premisas falsas. b. Si un argumento tiene todas sus premisas falsas, el argumento es válido. c. Si un argumento válido tiene todas sus premisas verdaderas, tiene la conclusión verdadera. d. Si un argumento es inválido, al menos una de sus premisas es falsa y la conclusión es falsa. 15. Qué se sigue del siguiente conjunto de premisas? Todos mis amigos de la escuela son mis amigos en las redes sociales, y todos mis amigos en las redes sociales son mis amigos del alma. Luis es mi amigo en las redes sociales. Ana es mi amiga del alma y Pepe es mi amigo en la escuela. a. Luis, Ana y Pepe son mis amigos del alma. b. Ana no es mi amiga en las redes sociales y Pepe sí. c. Ana es mi amiga en las redes sociales y Pepe es mi amigo del alma. d. Pepe es mi amigo en las redes sociales y Luis es mi amigo en la escuela. VIII OLIMPIADA DE LÓGICA FASE ELIMINATORIA- 3/6
4 16. El enunciado: Caminante no hay camino, se hace camino al andar. Tiene como conectivo principal una: a. Doble Implicación. b. Conjunción. c. Disyunción. d. Negación. 17. Cuál es la mejor simbolización del siguiente enunciado? Cualquiera de los seguidores de Russell estima al menos a uno de los seguidores de Hilbert. Donde: Sxy: x es seguidor de y; Exy: x estima a y; r: Russell; h: Hilbert. a. x[sxr y(syh Exy)] b. x[sxr y(syh Exy)] c. x[ y(syh Exy) Sxr] d. x[sxr y(shy Exy)] 18. Dadas las siguientes premisas Qué se sigue? Es falso que: si llueve, me mojo. Pero si no me mojo, no me resfrío y tampoco me inyectan. a. Llueve y me mojo. b. No me inyectan o nunca llueve. c. Aunque me resfrío, no me inyectan. d. Si no me inyectan o no me mojo, no llueve. 19. Cómo es el siguiente argumento? Todo el que conoce a Carlos conoce a algún vegetariano. No hay vegetarianos que no sean madrugadores. Por tanto, todo el que conoce Carlos conoce a alguien madrugador. a. Es válido con premisas no contradictorias. b. Es inválido con premisas no contradictorias. c. Es inválido con premisas contradictorias. d. Es válido con premisas contradictorias. 20. Sean A: No es el caso que: si llueve, me mojo y B: No es el caso que: si me mojo, me enfermo. Cómo es la conjunción A B? a. Es contingente. b. Es una contradicción. c. No es una contradicción. d. No es cierto que no es una tautología. 21. Cuál es la mejor simbolización del siguiente enunciado? Ninguno de los seguidores del América estima a ningún seguidor del Guadalajara. Donde: Sxy: x es seguidor de y; Exy: x estima a y; a: El América; g: El Guadalajara. a. x y[(sxg Sya) Exy] b. x y[(sxa Syg) Exy] c. x y[(sxa Syg) Exy] d. x y[ (Sxa Sxg) Exy] VIII OLIMPIADA DE LÓGICA FASE ELIMINATORIA- 4/6
5 22. A qué equivale el siguiente enunciado? Todos los extraterrestres son amigos de los sapos. a. No hay extraterrestres que no sean amigos de algún sapo. b. No hay extraterrestres que sean amigos de todos los sapos. c. No hay sapos que no sean amigos de los extraterrestres. d. Todos los extraterrestres son amigos de algún sapo. 23. Qué se sigue del siguiente conjunto de premisas? Si Paula y María son afortunadas, Laura no lo es. Paula es afortunada, y Carlos o Laura lo son. Carlos es afortunado cuando y sólo cuando Ernesto lo es. a. Si María es afortunada, Ernesto lo es. b. Si María es afortunada, Laura lo es. c. Ernesto y Carlos son afortunados. d. Paula y María son afortunadas. 24. Cuál es la negación lógica del siguiente enunciado? Todos le dijeron a Sonia que fuera a la fiesta. a. Nadie le dijo a Sonia que fuera a la fiesta. b. Alguien le dijo a Sonia que no fuera a la fiesta. c. Todos le dijeron a Sonia que no fuera a la fiesta. d. Alguien no le dijo a Sonia que fuera a la fiesta. 25. Cuál es la simbolización más adecuada para el siguiente enunciado? Un niño pequeño depende de sus padres. Donde: Nx: x es un niño; Px: x es pequeño; Dx: x depende de sus padres. a. x[(nx Px) Dx] b. x[(nx Px) Dx] c. x[(nx Px) Dx] d. x[ (Nx Px) Dx] 26. Dadas las siguientes premisas, qué no se sigue? Si José va al cine, Marco o Ernesto van al cine. Marco va al cine si y sólo si Laura va. José va al cine y come palomitas. Si Laura no va al cine, Ernesto no va. a. Ernesto no va al cine. b. Laura y José van al cine. c. Si Ernesto va al cine entonces Laura va al cine. d. José come palomitas, y no es cierto que Laura no va al cine. 27. Cómo es el siguiente argumento? Te quiero. Pero si me quieres no te quiero. Todos los que yo quiero, me quieren. Por lo tanto quiero a todos y nadie me quiere. b. Válido con premisas no contradictorias. c. Inválido con premisas contradictorias. d. Inválido con premisas no contradictorias. VIII OLIMPIADA DE LÓGICA FASE ELIMINATORIA- 5/6
6 28. Cómo es el siguiente argumento? Ana irá a desayunar; o bien, si Juan va a correr entonces Ana va a correr. Si Ana va a correr llegará a su casa a las 10 am; sin embargo, Ana no irá a desayunar. Si Juan va a correr, Ana llegará a su casa a las 10 am, lo cual implica que Ernesto se enojará. Ernesto no se enojará; o bien, si Ana tiene tiempo entonces irá a desayunar. Por tanto, Ana no tiene tiempo. b. Inválido con premisas contradictorias. c. Válido con premisas no contradictorias. d. Inválido con premisas contradictorias. 29. Cuál es la mejor simbolización para el siguiente enunciado? Ninguno de los alumnos de Samuel ha leído ningún texto que Samuel ha leído. Donde: Tx: x es un texto; Lxy: x ha leído y; Axy: x es alumno de y; s: Samuel. a. x[tx Lsx y( Ays Lxy)] b. x y[( Axs Lxy) (Ty Lsy)] c. x[axs y((ty Lsy) Lxy)] d. x y[(axs Ty) ( Lsy Lxy)] 30. Qué premisa hay que agregar para que resulte válido el siguiente argumento? Si los centauros y los unicornios existen, entonces los cíclopes existen. El ave fénix no existe; o bien, si el ave fénix existe entonces los unicornios existen. El ave fénix existe y el minotauro existe. Por tanto, los cíclopes existen. a. Si el ave fénix no existe, los cíclopes existen. b. El minotauro no existe o los centauros no existen. c. El minotauro no existe o los centauros existen. d. Si el minotauro no existe, los centauros no existen. VIII OLIMPIADA DE LÓGICA FASE ELIMINATORIA- 6/6
Fase Eliminatoria: Marzo de 2011 BACHILLERATO
Nombre: Institución: INSTRUCCIONES: Todas las preguntas deberán ser respondidas empleando únicamente las herramientas de la Lógica Clásica Formal y de la Lógica Informal. Considera solamente las premisas
Más detallesIV OLIMPIADA NACIONAL DE LÓGICA FASE ELIMINATORIA NIVEL LICENCIATURA
ACADEMIA MEXICANA DE LÓGICA IV OLIMPIADA NACIONAL DE LÓGICA FASE ELIMINATORIA NIVEL LICENCIATURA No. de aciertos: Nombre: Institución: INSTRUCCIONES: Todas las preguntas deberán ser respondidas empleando
Más detallesV OLIMPIADA DE LÓGICA
V OLIMPIADA ACADEMIA MEXICANA DE LÓGICA DE LÓGICA F A S E F I N A L E X A M E N L I C E N C I A T U R A No. de aciertos: Nombre: Institución: INSTRUCCIONES: Todas las preguntas deberán ser respondidas
Más detallesV OLIMPIADA DE LÓGICA
V OLIMPIADA ACADEMIA MEXICANA DE LÓGICA DE LÓGICA F A S E F I N A L E X A M E N B A C H I L L E R A T O No. de aciertos: Nombre: Institución: INSTRUCCIONES: Todas las preguntas deberán ser respondidas
Más detallesX OLIMPIADA INTERNACIONAL DE LÓGICA, 2013 FASE FINAL NIVEL BACHILLERATO No. de aciertos: Nombre: Institución:
X OLIMPIADA INTERNACIONAL DE LÓGICA, 2013 FASE FINAL NIVEL BACHILLERATO No. de aciertos: Nombre: Institución: INSTRUCCIONES: Todas las preguntas deberán ser respondidas empleando únicamente las herramientas
Más detallesVI OLIMPIADA NACIONAL DE LÓGICA
ACADEMIA MEXICANA DE LÓGICA VI OLIMPIADA NACIONAL DE LÓGICA F A S E F I N A L L I C E N C I A T U R A No. de aciertos: Nombre: Institución: INSTRUCCIONES: Todas las preguntas deberán ser respondidas empleando
Más detallesX OLIMPIADA INTERNACIONAL DE LÓGICA, 2013 FASE ELIMINATORIA NIVEL LICENCIATURA No. de aciertos: Nombre: Institución:
X OLIMPIADA INTERNACIONAL DE LÓGICA, 2013 FASE ELIMINATORIA NIVEL LICENCIATURA No. de aciertos: Nombre: Institución: INSTRUCCIONES: Todas las preguntas deberán ser respondidas empleando únicamente las
Más detallesX OLIMPIADA INTERNACIONAL DE LÓGICA, 2013 FASE FINAL NIVEL LICENCIATURA No. de aciertos: Nombre: Institución:
X OLIMPIADA INTERNACIONAL DE LÓGICA, 2013 FASE FINAL NIVEL LICENCIATURA No. de aciertos: Nombre: Institución: INSTRUCCIONES: Todas las preguntas deberán ser respondidas empleando únicamente las herramientas
Más detallesLógica Proposicional. Cátedra de Matemática
Lógica Proposicional Cátedra de Matemática Abril 2017 Qué es la lógica proposicional? Es la disciplina que estudia métodos de análisis y razonamiento; utilizando el lenguaje de las matemáticas como un
Más detallesXIII OLIMPIADA INTERNACIONAL DE LÓGICA FASE ELIMINATORIA NIVEL MASTERS N de aciertos: Nombre: Institución:
XIII OLIMPIADA INTERNACIONAL DE LÓGICA FASE ELIMINATORIA NIVEL MASTERS N de aciertos: Nombre: Institución: Instrucciones. Responde este examen en la hoja de respuestas que se te ha proporcionado, teniendo
Más detallesCIENCIAS FORMALES CIENCIAS FÁCTICAS
UNA CLASIFICACIÓN DE LAS CIENCIAS CIENCIAS FORMALES CIENCIAS FÁCTICAS CIENCIAS FORMALES MATEMÁTICA LÓGICA CIENCIAS FÁCTICAS FÍSICA BIOLOGÍA QUÍMICA CIENCIAS SOCIALES OTRAS CIENCIAS FORMALES VOCABULARIO
Más detallesProposicional. Curso Mari Carmen Suárez de Figueroa Baonza
Semántica Proposicional Curso 2014 2015 Mari Carmen Suárez de Figueroa Baonza mcsuarez@fi.upm.es Contenidos Introducción Interpretación de FBFs proposicionales Validez Satisfacibilidad Validez y Satisfacibilidad
Más detallesIntroducción a la Lógica
Tema 0 Introducción a la Lógica En cualquier disciplina científica se necesita distinguir entre argumentos válidos y no válidos. Para ello, se utilizan, a menudo sin saberlo, las reglas de la lógica. Aquí
Más detallesMÉTODOS DE DEMOSTRACIÓN
2016-1 1 Presentación 2 Métodos de Demostración Sobre métodos de demostración algunas preguntas de interés 1 Qué es una demostración? Sobre métodos de demostración algunas preguntas de interés 1 Qué es
Más detalles13/04/2013 LOGICA MATEMÁTICA
ING ARNALDO ANGULO ASCAMA profearnaldo@hotmail.com ING. ARNALDO ALBERTO ANGULO ASCAMA LOGICA MATEMÁTICA La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas
Más detalles2.1.- Formalización de enunciados en lenguaje ordinario
2.1.- Formalización de enunciados en lenguaje ordinario Una de las tareas más importantes para poder aplicar la lógica a los diferentes campos del saber humano es la formalización, también conocida como
Más detalles3. LA ARGUMENTACIÓN FICHA 1 DE REFUERZO DE CONTENIDOS
FICHA 1 DE REFUERZO DE CONTENIDOS 1. La argumentación está formada por dos tipos de enunciados: a) inducción y deducción; b) analíticos y sintéticos; c) premisas y conclusión; d) axiomas y teoremas. 2.
Más detallesMATEMÁTICAS BÁSICAS. 23 de febrero de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS
23 de febrero de 2009 Parte I Lógica Proposiciones Considere las siguientes frases Páseme el lápiz. 2 + 3 = 5 1 2 + 1 3 = 2 5 Qué hora es? En Bogotá todos los días llueve Yo estoy mintiendo Maradona fue
Más detallesEjercicios Lógica. Inteligencia Artificial 23 de septiembre de Ejercicios de Lógica Proposicional
Ejercicios Lógica Inteligencia Artificial 23 de septiembre de 2008 1. Ejercicios de Lógica Proposicional 1.1. Ejercicio 1.1 De los siguientes enunciados, indica cuáles son declarativos. Para aquellos que
Más detallesOperaciones con Proposiciones
Operaciones con Proposiciones ES UNA AFIRMACIÓN QUE PUEDE SER VERDADERA O FALSA EJEMPLOS DE PROPOSICIONES: La capital de España es Sevilla El Ebro pasa por Zaragoza Alicante tiene 45 millones de habitantes
Más detallesLógica Matemática. Tema: Tautología, contradicción y evaluación de la validez
Lógica Matemática Tema: Tautología, contradicción y evaluación de la validez Tautología, contradicción y evaluación de la validez Una proposición molecular es una tautología si es cierta, cualesquiera
Más detallesALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.
ALGEBRA y ALGEBRA LINEAL 520142 Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. DEPARTAMENTO DE INGENIERIA MATEMATICA Facultad de Ciencias Físicas y Matemáticas Universidad de Concepción 1 La lógica es
Más detallesTablas de Verdad L Ó G I C A P R O P O S I C I O N A L
Tablas de Verdad L Ó G I C A P R O P O S I C I O N A L Tablas de verdad Toda preposición es verdadera o falsa, pero no puede ser ambas. Sobre esta base las proposiciones atómicas sólo tienen dos valores:
Más detallesAsignatura: Matemática Fundamental [405036M-02] Taller 1 Lenguaje Simbólico y lógica proposicional
Asignatura: Matemática Fundamental [405036M-02] Taller 1 Lenguaje Simbólico y lógica proposicional 1. Responda las siguientes preguntas: a) Qué es un lenguaje formal? b) Qué es lenguaje matemático? c)
Más detallesAmpliación Matemática Discreta. Justo Peralta López
Justo Peralta López UNIVERSIDAD DE ALMERíA DEPARTAMENTO DE ÁGEBRA Y ANÁLISIS MATEMÁTICO 1 Introducción 2 Definición semántica de las proposiciones 3 Diagrama de valores de certeza 4 Evaluación de fórmulas.
Más detallesENUNCIADO ABIERTO: Es un enunciado en forma de expresión matemática que no es verdadero ni falso. Ejemplos: x < 9 x + 2 = 10 a + b = 1 a 2 + b 2 = c 2
LÓGICA Es la ciencia que estudia el razonamiento inductivo y deductivo. El razonamiento inductivo es aquel que permite llegar a conclusiones generales a partir de observaciones particulares, por el contrario,
Más detallesAutora: Jeanneth Galeano Peñaloza. 3 de febrero de Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá 1/ 50
Autora: Jeanneth Galeano Peñaloza Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá 3 de febrero de 2013 1/ 50 Parte I 2/ 50 Proposiciones Considere las siguientes frases Guarde
Más detallesTEMA: LÓGICA Y TEORÍA DE LA DR. LUIS ALBERTO PACHECO MANDUJANO
TEMA: LÓGICA Y TEORÍA DE LA ARGUMENTACIÓN JURÍDICA DR. LUIS ALBERTO PACHECO MANDUJANO I.- TABLA DE VALORES.- Diseñada por Ludwig Wittgenstein, es una cruz cuyo brazo derecho es mucho más prolongado que
Más detallesd) ( Pa Qb) Pa e) (Qb Tab)
!!! XIII OLIMPIADA INTERNACIONAL DE LÓGICA FASE ELIMINATORIA NIVEL LICENCIATURA N de aciertos: Nombre: Institución: Instrucciones. Responde este examen en la hoja de respuestas que se te ha proporcionado,
Más detallesEjercicios de Lógica Proposicional *
Ejercicios de Lógica Proposicional * FernandoRVelazquezQ@gmail.com Notación. El lenguaje proposicional que hemos definido, aquel que utiliza los cinco conectivos,,, y, se denota como L {,,,, }. Los términos
Más detallesLÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA
LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA La lógica formal o simbólica, a diferencia de la lógica clásica, utiliza un lenguaje artificial, es decir, está rigurosamente construido, no admite cambios en el
Más detallesLógica Matemática. Tema: Valor de certeza funcional de la preposición: negación, conjunción, disyunción, condicional y bicondicional
Lógica Matemática Tema: Valor de certeza funcional de la preposición: negación, conjunción, disyunción, condicional y bicondicional Valor de certeza funcional de la preposición: negación, conjunción, disyunción,
Más detallesIntrod. al Pens. Científico Nociones básicas de la lógica ClasesATodaHora.com.ar
ClasesATodaHora.com.ar > Exámenes > UBA - UBA XXI > Introd. al Pensamiento Científico Introd. al Pens. Científico Nociones básicas de la lógica ClasesATodaHora.com.ar Razonamientos: Conjunto de propiedades
Más detallesLA ARGUMENTACIÓN: Argumentos deductivos y Lógica
LA ARGUMENTACIÓN: Argumentos deductivos y Lógica Qué es un argumento deductivo? Un argumento deductivo es aquel cuya conclusión se sigue necesariamente de las premisas. Es decir, si las premisas son verdaderas,
Más detallesMatemáticas Discretas Lógica
Coordinación de Ciencias Computacionales - INAOE Matemáticas Discretas Lógica Cursos Propedéuticos 2010 Ciencias Computacionales INAOE Lógica undamentos de Lógica Cálculo proposicional Cálculo de predicados
Más detallesResumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón.
Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón. 0.1. Elementos de lógica Una proposición es una oración declamativa a la cual se le puede asignar un valor verdad: verdadera (V)
Más detallesIntroducción a la Lógica proposicional Tablas de Verdad y Relación de fuerza Representando el mundo real Falacias Lógica trivaluada Ejercicios
Menú del día Fórmulas bien formadas Tablas de verdad Tautologías, Contingencias y Contradicciones Relación de fuerza con Lógica proposicional. con semántica de cortocircuito Qué es la lógica proposicional?
Más detallesProblemas de exámenes de Lógica
Problemas de exámenes de Lógica 1 1. Pasar a forma normal conjuntiva la formula proposicional ( (P Q) (Q R)) P ((R S) P ) 2. Obtener la forma normal conjuntiva de la formula proposicional ((( (A B) (B
Más detallesCentro Asociado Palma de Mallorca. Tutor: Antonio Rivero Cuesta
Centro Asociado Palma de Mallorca Tutor: Antonio Rivero Cuesta Lógica y Estructuras Discretas Febrero 2011, Anticipo 1. Sea el conjunto A = {a,b,c} y P(A) el conjunto potencia de A: a) Tiene 9 elementos
Más detallesAlgoritmos y Estructura de Datos I
Algoritmos y Estructura de Datos I Lógica proposicional Agustín Martinez Lunes 27 de marzo de 2017 Menú del día Formulas y valores de verdad Relación de fuerza entre formulas Razonamientos del mundo real
Más detallesLógica proposicional. 1. Lógica proposicional. 4. Conectivos lógicos. 2. Proposición lógica. 3. Negación de una proposición
Lógica proposicional 1. Lógica proposicional Es una parte de la lógica que estudia las proposiciones y la relación existente entre ellas, así como la función que tienen los conectivos lógicos. 2. Proposición
Más detallesRAZONAMIENTO LÓGICO LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO. La lógica se puede clasificar como:
La lógica se puede clasificar como: 1. Lógica tradicional o no formal. 2. Lógica simbólica o formal. En la lógica tradicional o no formal se consideran procesos psicológicos del pensamiento y los métodos
Más detallesTabla de valores de verdad
Tabla de valores de verdad Las tablas de valores de verdad son una herramienta desarrollada por Charles Peirce en los años 1880, siendo sin embargo más popular el formato que Ludwig Wittgenstein desarrolló
Más detallesTRABAJO PRÁCTICO DOMICILIARIO Lógica
FILOSOFÍA6to. Año ESO Módulo II LA FILOSOFÍA Y EL CONOCER TRABAJO PRÁCTICO DOMICILIARIO Lógica Primera parte LÓGICA INFORMAL 1 Lectura de texto: Lógica. 1. Lógica Informal Lógica. 1. Lógica Informal 1.1
Más detallesREGLAS Y LEYES LOGICAS
LOGICA II REGLAS Y LEYES LOGICAS Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente ciertos enunciados a partir de otros.
Más detallesColegio Centro América. Cuaderno de ejercicios Matemáticas
Colegio Centro América Cuaderno de ejercicios Matemáticas Nombre: Séptimo grado: Profesora: Urania Zepeda. Objetivo 1: Objetivo 1: Determinar el valor de verdad de proposiciones simples y construir tablas
Más detallesAsí, nuestro enunciado quedaría: Pedro no está enfermo. p, se lee tilde p.
SIMBOLOGÍA BÁSICA. Los enunciados se dividen en enunciados simples y compuestos. Los enunciados simples o atómicos son aquellos que admiten ser verdaderos o falsos. Así, por ejemplo: Pedro está enfermo,
Más detallesSESIÓN 04 LÓGICA PROPOSICIONAL
SESIÓN 04 LÓGICA PROPOSICIONAL La Lógica Proposicional, sentencial o lógica de enunciados, es la parte de la Lógica simbólica que trata de las proposiciones sin analizarlas y de sus combinaciones. 1. PROPOSICIONES
Más detallesEnunciados Abiertos y Enunciados Cerrados
I n g. L u z A d r i a n a M o n r o y M a r t í n e z L ó g i c a 1 Unidad II lógica proposicional Es probable que en el siglo IV antes de la Era Común, se iniciara con Aristóteles el estudio de la Lógica;
Más detallesMATEMÁTICAS DISCRETAS. UNIDAD1 Lógica y Demostraciones
MATEMÁTICAS DISCRETAS UNIDAD1 Lógica y Demostraciones Para el estudio de esta unidad debe ubicarse en el Capítulo 1 del texto base, lea atentamente cada uno de los subtemas indicados en el índice de la
Más detallesDefinición 1.3. La disyunción de dos oraciones p y q es la oración p o q. La
Capítulo 1 Lógica 1.1. Oraciones Definición 1.1. Una oración es un enunciado que podemos clasificar como cierta o falsa, pero no de ambas. Toda oración tiene un bien definido valor de veracidad: es cierta
Más detallesIntroducción a la lógica. Matemáticas Discretas Universidad de san buenaventura Cali
Introducción a la lógica Matemáticas Discretas Universidad de san buenaventura Cali Proposiciones compuestas (Disyunción, Conjunción, Negación, Condicional, Bicondicional) DISYUNCIÓN (v) La disyunción
Más detallesTeoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes
FUNCIONES DE VARIABLE COMPLEJA 1 Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes Lógica Matemática Una prioridad que tiene la enseñanza de la matemática
Más detallesTópicos de Matemáticas Discretas
Tópicos de Matemáticas Discretas Proposiciones Lógicas y Tablas de Verdad Raquel Torres Peralta Universidad de Sonora Matemáticas Discretas Proposiciones Lógicas Matemáticas Discretas Lógica - La lógica
Más detallesLógica Matemática. Contenido. Definición. Finalidad de la unidad. Proposicional. Primer orden
Contenido Lógica Matemática M.C. Mireya Tovar Vidal Proposicional Definición Sintaxis Proposición Conectivos lógicos Semántica Primer orden cuantificadores Finalidad de la unidad Definición Traducir enunciados
Más detallesTautología, contradicción y contingencia: la implicación formal
Tautología, contradicción y contingencia: la implicación formal Tautología: Al analizar las tablas de verdad de las conectivas hemos observado que la verdad de una fórmula molecular depende del valor de
Más detallesIntroducción a la lógica proposicional
Introducción a la lógica proposicional Fernando Soler Toscano fsoler@us.es 1. Lógica proposicional 1.1. El lenguaje de la lógica proposicional Fórmulas. El lenguaje de la lógica proposicional está compuesto
Más detallesUniversidad de Santiago de Chile Departamento de Matemática y C.C. Ingeniería Civil
Universidad de Santiago de Chile Departamento de Matemática y C.C. Ingeniería Civil Pep N o 1 de Álgebra1 Ingeniería Civil Profesor Ricardo Santander Baeza 14 de mayo del 2007 (1) Sean p, q y r proposiciones
Más detallesUNIDAD I: LÓGICA MATEMÁTICA
UNIDAD I: LÓGICA MATEMÁTICA 1.1. Introducción La Lógica Matemática es la rama de las Matemáticas que nos permite comprender sobre la validez o no de razonamientos y demostraciones que se realizan. La lógica
Más detallesCurso LÓGICA Examen de recuperación de lógica proposicional
Curso 2013-2014 LÓGICA Examen de recuperación de lógica proposicional 13-01-2014 1.1. Formalizar en el lenguaje de la lógica proposicional el siguiente razonamiento: (2,5 puntos) Es necesario que estudie
Más detallesCapítulo 4. Lógica matemática. Continuar
Capítulo 4. Lógica matemática Continuar Introducción La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un teorema es falso o verdadero, además
Más detallesXIII OLIMPIADA INTERNACIONAL DE LÓGICA FASE ELIMINATORIA NIVEL BACHILLERATO N de aciertos: Nombre: Institución:
XIII OLIMPIADA INTERNACIONAL DE LÓGICA FASE ELIMINATORIA NIVEL BACHILLERATO N de aciertos: Nombre: Institución: Instrucciones. Responde este examen en la hoja de respuestas que se te ha proporcionado,
Más detalles1. Soluciones a la tarea.
1. Soluciones a la tarea. El primer paso a realizar para resolver los ejercicios de las sesión anterior es la identicación de las hipótesis. Debemos hacernos las preguntas: ¾Qué sabemos? (¾Cual es nuestra
Más detallesSi..., siempre que, con tal que, puesto que, ya que, porque, cuando, de, a menos que, a no ser que, salvo que, solamente.
1.2 Proposiciones condicionales y equivalencia lógica. Proposición Condicional o implicación lógica Una proposición condicional, es aquella que está formada por dos proposiciones atómicas o moleculares,
Más detallesApéndice 1 Reglas y leyes lógicas
1 Apéndice 1 Reglas y leyes lógicas 1. Reglas lógicas Tal como ya se ha visto, una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada en cada caso para
Más detallesEl argumento y la lógica
LA LÓGICA El argumento y la lógica Desde el Órganon de Aristóteles, podemos entender la noción de argumento en términos de razones: un argumento consiste en dar razones para sustentar una tesis como verdadera
Más detallesDepartamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid
LÓGICA FORMAL Lógica Proposicional: Teorema de Efectividad Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Lógica Proposicional 1 La lógica proposicional
Más detallesFundamentos básicos de matemáticas: Lógica Proposicional
Fundamentos básicos de matemáticas: Lógica Proposicional Victor Hugo Gil A. Universidad del Valle 28 de agosto de 2016 Victor Hugo Gil A. (Univalle) Lógica Proposicional 28 de agosto de 2016 1 / 10 Lógica
Más detallesENUNCIADO: Es cualquier frase u oración que expresa una idea
LÓGICA PROPOSICIONAL La lógica es el estudio de los métodos y los rinciios usados ara distinguir el correcto razonamiento del erróneo. El razonamiento es un tio esecial de ensamiento en el cual se realizan
Más detallesGuía para el estudiante
Guía para el estudiante Guía realizada por Jefferson Bustos Profesional en Matemáticas Master en Educación Nombre: Fecha: Curso: Dentro del lenguaje común, las palabras y frases pueden tener diversas interpretaciones.
Más detalles4.2. Procedimiento para elaborar tablas de verdad
4.1. Qué es una tabla de verdad? Usamos tablas de verdad, en el apartado 2.1 de la unidad II, para determinar el valor de verdad de una proposición compuesta. En este apartado explicaremos más detenidamente
Más detallesLógica Proposicional. Guía Lógica Proposicional. Tema III: Cuantificadores
Guía Lógica Proposicional Tema III: Cuantificadores 1.7.2. CUANTIFICADORES Los cuantificadores permiten afirmaciones sobre colecciones enteras de objetos en lugar de tener que enumerar los objetos por
Más detalles2.5 Los argumentos: premisas y conclusiones
Los argumentos: premisas y conclusiones 29 Continúa 2. Realizar traducción lógica. Como se observa, las proposiciones p y q están negadas, por lo que su traducción lógica es: p q 3. Obtener la cantidad
Más detallesTema 6: Teoría Semántica
Tema 6: Teoría Semántica Sintáxis Lenguaje de de las las proposiciones Lenguaje de de los los predicados Semántica Valores Valores de de verdad verdad Tablas Tablas de de verdad verdad Tautologías Satisfacibilidad
Más detallesMEL* Sistemas formales y sistemas lógicos 1
2.1.1 2 2a (x y) z : z x y 2b x y x y : x y x y 2.1.2 1 1a Hay que expresar cada uno de los operadores de la tabla de 2.1.2.3 en términos de y y las variables x, y. Nótese que se describen como operadores
Más detallesEvaluación Nacional Revisión del intento 1
LOGICA MATEMATICA Perfil Salir Evaluación Nacional Revisión del intento 1 Finalizar revisión Comenzado el sábado, 15 de junio de 2013, 15:59 Completado el sábado, 15 de junio de 2013, 16:35 Tiempo empleado
Más detallesTEMA 1: LÓGICA. p p Operador conjunción. Se lee y y se representa por. Su tabla de verdad es: p q p q
TEMA 1: LÓGICA. Definición. La lógica es la ciencia que estudia el razonamiento formalmente válido. Para ello tiene un simbolismo que evita las imprecisiones del lenguaje humano y permite comprobar la
Más detallesLógica Proposicional. Preliminares Teoría de Conjuntos. Lógica Proposicional. Conectivos lógicos. Conectivos lógicos. Conectivos lógicos
Lógica Proposicional Preliminares Teoría de Conjuntos Definición. Una proposición es una oración con valor declarativo o informativo, de la cual se puede predicar su verdad o falsedad. Ejemplos de proposiciones?
Más detallesLA ARGUMENTACIÓN: Deducción, inducción y otra palabrería lógica del montón
LA ARGUMENTACIÓN: Deducción, inducción y otra palabrería lógica del montón Qué es un argumento? Es un conjunto de enunciados cuyo fin es probar la verdad o falsedad de una afirmación. Genial, y qué es
Más detallesP r o p o s i c i ó n
P r o p o s i c i ó n Es toda oración o enunciado al que se le puede asignar un cierto valor (v o f). Si no puede concluir que es verdadero o falso no es proposición. La verdad o falsedad de una proposición
Más detallesLÓGICA. 1. Qué es un silogismo Irregular? 2. Qué es un entimema? 3. Da un ejemplo de entimema. 4. Qué es un epiquerema?
LÓGICA 1. Qué es un silogismo Irregular? 2. Qué es un entimema? 3. Da un ejemplo de entimema 4. Qué es un epiquerema? 5. Da un ejemplo de un epiquerema 6. Qué es un Poli silogismo? 7. Da un ejemplo de
Más detallesLICENCIATURA EN MATEMÁTICA. Práctico N 1 Lenguaje de la lógica. proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 /
Práctico N 1 Lenguaje de la lógica LICENCIATURA EN MATEMÁTICA proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 / 2 0 1 0 PRÁCTICO N 1 1. Fundamentación: fundamentar la expresión Por lo tanto del siguiente
Más detallesCuestionario de estudio de Lógica. Alumno (a): N. L.: Profesor: Mauricio Dimeo Coria Fecha: Grado: 4 Grupo: _4010
Cuestionario de estudio de Lógica Alumno (a): N. L.: Profesor: Mauricio Dimeo Coria Fecha: Grado: 4 Grupo: _4010 El Cuestionario de estudio no implica que el contenido será igual al examen. El alumno cuenta
Más detallesUNIVERSIDAD DE GUADALAJARA PROGRAMA DE ASIGNATURA MT106
UNIVERSIDAD DE GUADALAJARA PROGRAMA DE ASIGNATURA NOMBRE DE MATERIA CÓDIGO DE MATERIA DEPARTAMENTO ÁREA DE FORMACIÓN LOGICA Y CONJUNTOS MT106 CIENCIAS BIOLOGICAS BÁSICA COMUN CENTRO UNIVERSITARIO CENTRO
Más detallesUniversidad Nacional Abierta y a Distancia UNAD-Lógica Matemática - Georffrey Acevedo G. A que viene la lógica?
A que viene la lógica? Autor: Georffrey Acevedo G. Noviembre 16 de 2008. Los conceptos de proposiciones, conectivos e inferencias confluyen al analizar un razonamiento. Para tener claridad sobre los conceptos
Más detallesTAREA DE LÓGICA PRIMER BIMESTRE. 1. En las siguientes oraciones señala cuáles NO son proposiciones lógicas? Fundamenta tu respuesta.
Colegio TRILCE TAREA DE PRIMER BIMESTRE 5to año SEMANA 2 1. En las siguientes oraciones señala cuáles NO son proposiciones lógicas? Fundamenta tu respuesta. 1. Hernando de Luque fue el tercer socio de
Más detallesLógica proposicional 4. Formalización de argumentos
Lógica proposicional 4. Formalización de argumentos Juan Carlos León Universidad de Murcia Aplicación de la lógica Las técnicas para comprobar la validez son el objeto primario de la lógica Pero, mientras
Más detallesUNIVERSIDAD FRANCISCO DE PAULA SANTANDER FACULTAD DE CIENCIAS BÁSICAS LIC. ESP. DANIEL SAENZ CONTRERAS
UNIVERSIDAD FRANCISCO DE PAULA SANTANDER 1 FACULTAD DE CIENCIAS BÁSICAS LIC. ESP. DANIEL SAENZ CONTRERAS EMAIL SAENZCODANIEL@HOTMAIL.COM LÓGICA DE PROPOSICIONES TABLAS DE VERDAD La tabla de verdad de una
Más detallesLógica proposicional o Lógica de enunciados
Tema 3 Lógica proposicional o Lógica de enunciados 1. Qué es la Lógica? 2. El cálculo de proposiciones 2.1. Las conectivas 2.2. Las tablas de verdad 2.3. La deducción natural Bibliografía Deaño, A.: Introducción
Más detalles2. Los símbolos de la lógica proposicional.
Bloque I: El Saber Filosófico. Tema 4: La Lógica Formal. 1. Las proposiciones y sus tipos. Una proposición es una oración enunciativa, es decir, una oración que afirma o niega algo y que puede ser verdadera
Más detallesLógica I (curso ) - 23 de enero de 2006 (modelo de respuestas)
Lógica I (curso 2005-06) - 23 de enero de 2006 (modelo de respuestas) 1. Definir un sistema formal... Para definir un sistema formal hay que especificar su lenguaje y su mecanismo deductivo. Llamemos H
Más detallesLógica proposicional 6. La semántica veritativo-funcional
Lógica proposicional 6. La semántica veritativo-funcional (Parte 1) Juan Carlos León Universidad de Murcia Esquema del tema 6.1. Noción de interpretación y reglas de valoración. Tablas de verdad 6.2. Consecuencia
Más detallesTEMA I INTRODUCCIÓN A LA LÓGICA
TEMA I INTRODUCCIÓN A LA LÓGICA Policarpo Abascal Fuentes TEMA I Introducción a la lógica p. 1/6 TEMA 1 1. INTRODUCCIÓN A LA LÓGICA 1.1 INTRODUCCIÓN 1.2 LÓGICA PROPOSICIONAL 1.2.1 Conexiones lógicas 1.2.2
Más detallesElaborar un mapa conceptual del tema de Lógica Proposicional (Diapositivas: Lógica Proposicional) Desarrollar ejercicios de la ficha de trabajo y del
Elaborar un mapa conceptual del tema de Lógica Proposicional (Diapositivas: Lógica Proposicional) Desarrollar ejercicios de la ficha de trabajo y del módulo (Página 175 ) Se sugiere ver el siguiente video:
Más detallesPRIMERA UNIDAD II SEMESTRE FILOSOFIA
PRIMERA UNIDAD II SEMESTRE ILOSOIA Lógica Matemática y Lógica de predicados. Objetivo: Comprender la función de la lógica matemática en la reflexión y el análisis de la realidad. Objetivo especifico :
Más detallesTema IV Enunciados Compuestos, Silogismos Disyuntivos e Hipotéticos
Laboratorio de Altos Estudios en Ciencias Informáticas Programa de Entrenamiento Académico (PEA) en Ciencias Informáticas Cátedra de Introducción a la Lógica y Métodos Científicos Prof. Eugenia Bahit Tema
Más detallesCORPORACIÓN UNIFICADA NACIONAL DE EDUCACIÓN SUPERIOR CUN GUÍA DE FUNDAMENTOS DE MATEMÁTICAS DOCENTE : YAMILE MEDINA CASTAÑEDA
GUÍA # 2 LÓGICA DOCENTE : YAMILE MEDINA CASTAÑEDA PROPOSICIONES Y OPERACIONES LÓGICAS. Una proposición o enunciado es una oración (expresión con sentido completo) de la cual puede afirmarse si es falsa
Más detallesDefinición 2.- Las proposiciones se combinan mediante conectivos lógicos para formar otras proposiciones. Los conectivos lógicos básicos son:
ii Matemática Discreta : Contenidos Capítulo 1 Lógica 1.1 Cálculo proposicional El Cálculo Proposicional se encarga del estudio de las relaciones lógicas entre objetos llamados proposiciones. Definición
Más detalles