CUADERNILLO DE ÍTEMS ÍTEMS DE SELECCIÓN MÚLTIPLE CON ÚNICA RESPUESTA

Tamaño: px
Comenzar la demostración a partir de la página:

Download "CUADERNILLO DE ÍTEMS ÍTEMS DE SELECCIÓN MÚLTIPLE CON ÚNICA RESPUESTA"

Transcripción

1 CUADERNILLO DE ÍTEMS ÍTEMS DE SELECCIÓN MÚLTIPLE CON ÚNICA RESPUESTA A continuación, usted encontrará preguntas que se desarrollan en torno a un enunciado, problema o contexto, frente al cual, usted debe seleccionar aquella opción que responda correctamente al ítem planteado entre cuatro identificadas con las letras A, B, C, D. Una vez la seleccione, márquela en su hoja de respuestas rellenando el óvalo correspondiente. 1. De acuerdo a Brisa Edeny Reséndiz Reyes, autora del Ensayo para combatir la corrupción las cuatro razones más importantes que causan el soborno y la corrupción, de mayor a menor importancia son: ganar un nuevo contrato, el beneficio personal, asegurar influencia política, y mantener un contrato existente. Teniendo en cuenta lo anterior Cuál de las siguientes proposiciones no es mencionada por Brisa Edeny? A. Cuando se requiere mantener un contrato existente puede generarse corrupción B. Cuando se requiere ganar un nuevo contrato se debe asegurar influencia política C. Cuando se requiere ganar un nuevo contrato puede presentarse soborno D. Cuando se busca el beneficio personal puede generarse corrupción 2. En el ámbito de la selección de personal para trabajar en una empresa, existe la siguiente premisa: Si todos los individuos fueran iguales y reunieran las mismas condiciones para aprender y trabajar, la selección no sería requerida. De acuerdo a dicha premisa Cuál de las siguientes afirmaciones se puede concluir lógicamente? A. Si se requiere selección de personal es porque todos los individuos no son iguales, o no reúnen las mismas características para aprender, o no reúnen las mismas características para trabajar. B. Si se requiere selección de personal es porque todos los individuos no son iguales, y no reúnen las mismas características para aprender, y no reúnen las mismas características para trabajar. C. Cuando todos los individuos no son iguales, o no reúnen las mismas características para aprender, o no reúnen las mismas características para trabajar se requiere selección de personal D. Cuando todos los individuos son iguales, y reúnen las mismas características para aprender y trabajar se requiere selección de personal Página 1 de 10

2 3. Por medio de las tablas de verdad o las leyes de inferencia, podemos determinar si dos proposiciones son o no equivalentes. Suponga la siguiente proposición compuesta condicional: p: Es necesario tener paciencia para comprender los conceptos de matemáticas. Entre las siguientes opciones seleccione la proposición compuesta equivalente a p. A. Si no se tiene paciencia se comprenden los conceptos de matemáticas B. Cuando no se comprenden los conceptos de matemáticas es porque no se tiene paciencia C. Es suficiente ser paciente para comprender los conceptos de matemáticas D. Si no se tiene paciencia no se comprenden los conceptos de matemáticas 4. Haciendo uso de las leyes de inferencia podemos obtener conclusiones válidas a partir de las premisas dadas. Sean A, B y C los ángulos de un triángulo. Si A es mayor de 90 grados entonces la suma de B y C es menor de 90 grados. La suma de B y C no es menor de 90 grados. Aplicando las reglas de inferencia concluimos: A. El ángulo A es mayor de 90 grados B. El ángulo A no es mayor de 90 grados C. El ángulo de 90 grados se llama recto D. La suma de B y C es de 90 grados 5. El valor de verdad de una proposición compuesta es determinado por los conectivos lógicos y el valor de las proposiciones que se relacionan. Dado el conjunto B y los elementos a y c tal que y ; entre las siguientes opciones seleccione la proposición verdadera: Página 2 de 10

3 6. El valor de verdad de una proposición compuesta puede ser determinado por sus conectivos lógicos y por el valor de verdad de las proposiciones que éste enlaza. Dadas las proposiciones O y r definidas como sigue: O = 2 1 < 4 r = 4 > 2 1 Elija la opción que corresponde a una proposición falsa: Tenga en cuenta que < se lee menor que y > se lee mayor que A. Si 2 1 < 4 entonces 4 > 2 1 B. 2 1 < 4 si y sólo si 4 > 2 1 C. 2 1 > 4 si y sólo si 4 > 2 1 D. Si 2 1 > 4 entonces 4 > Cada expresión proposicional tiene su equivalente en el lenguaje simbólico. Asuma la siguiente proposición compuesta: En el ámbito empresarial se debe investigar para poder innovar en procesos y productos. Esta proposición en lenguaje simbólico se puede escribir así: 8. Teniendo en cuenta que dos proposiciones contradictorias no pueden ser a la vez verdaderas ni a la vez falsas. Identifique la expresión contradictoria a la proposición: Todos los estudiantes de la UNAD entienden lógica matemática. A. Ningún estudiante de la UNAD entiende lógica matemática B. Algún estudiante de la UNAD entiende lógica matemática C. Algún estudiante de la UNAD no entiende lógica matemática D. Todos los estudiantes de la UNAD no entienden lógica matemática Página 3 de 10

4 9. Los diagramas de Venn permiten representar las relaciones entre conjuntos y entre proposiciones considerando las operaciones básicas entre estos. Entre los cuatro diagramas propuestos, selecciona el diagrama en el cual el área sombreada comprende a los elementos que se encuentran en el conjunto A o en el conjunto B pero no en el conjunto C. 10. Al representar con cuantificadores la siguiente afirmación No todo lo que brilla es oro en donde P(x) = x brilla Q(x) = x es oro, se obtiene: Página 4 de 10

5 11. El lenguaje natural es representado en Lógica Matemática mediante el lenguaje simbólico. La proposición compuesta: si no despilfarramos los recursos entonces estamos construyendo una sociedad mejor, se representa simbólicamente por: Considere las proposiciones simples: despilfarramos los recursos y estamos construyendo una sociedad mejor 12. Se ha encontrado que los alimentos con vitamina "A" ayudan al cuerpo a mantener una estructura normal de las células, lo cual es imprescindible para mantener, por ejemplo, una visión normal. Asimismo, juega un rol determinante en el desarrollo saludable de la piel. 100 gramos de queso Cheddar contienen 265mg de vitamina A. Por lo tanto, no consumir este tipo de queso puede implicar problemas para mantener una visión normal. Del razonamiento planteado es correcto afirmar: A. Es un razonamiento deductivo por Modus Ponendo Ponens B. No es un razonamiento válido C. Es un razonamiento deductivo por Modus Tollendo Tollens D. Es un razonamiento inductivo válido Página 5 de 10

6 13. Comprender las operaciones básicas entre conjuntos, constituye una competencia necesaria para la interpretación lógica de las operaciones entre proposiciones lógicas Según los elementos de los conjuntos descritos, determinar el resultado de la operación indicada: P = { x/x es una letra de la palabra Presidencia } M = {x/x es una letra de la palabra Ministerio } R = {x/x es una letra de la palabra República } Operación: en donde U = {p, r, e, s, i, d, n, c, a, m, t, o, u, b, l} A. u, b, l, i, p, e, r B. r, e, c, a, p, i C. b, e, i, l, m, n, o, r, s, t, u D. a, b, c, e, l, i, r, u 14. Cuando un razonamiento lógico es válido, la conclusión se deriva de las premisas. Una forma de determinar la validez de un razonamiento es determinar si su forma sigue alguna de las leyes de inferencia. A continuación se propone un razonamiento para su análisis: Si el precio de los vehículos disminuye, entonces las ventas tienden a aumentar. El precio de los vehículos no disminuyó Del razonamiento es correcto afirmar: A. Se concluye que el volumen de venta de vehículos no aumentó por Silogismo deductivo B. Concluir que el volumen de venta de vehículos no aumentó es una Falacia de afirmación del consecuente C. Se concluye que el volumen de venta de vehículos no aumentó por Modus Tollendo Tollens D. Concluir que el volumen de venta de vehículos no aumentó es una Falacia de negación del antecedente Página 6 de 10

7 ÍTEMS DE SELECCIÓN MÚLTIPLE CON MÚLTIPLE RESPUESTA Este tipo de preguntas consta de un enunciado, problema o contexto a partir del cual se plantean cuatro opciones numeradas de 1 a 4, usted deberá seleccionar la combinación de dos opciones que responda adecuadamente a la pregunta y marcarla en la hoja de respuesta, de acuerdo con la siguiente información: Marque A si 1 y 2 son correctas Marque B si 1 y 3 son correctas Marque C si 2 y 4 son correctas Marque D si 3 y 4 son correctas 15. A continuación se presentan cuatro proposiciones lógicas, cuyo valor de verdad debe ser determinado a partir del análisis lógico de la figura propuesta. Teniendo en cuenta los elementos de la circunferencia, las proposiciones verdaderas son: 1. Arco son los puntos de la circunferencia comprendidos entre dos puntos pertenecientes a esta. 2. Radio es el segmento cuyos puntos extremos son dos puntos de la circunferencia 3. Diámetro es una cuerda que pasa por el centro de la circunferencia 4. La cuerda de menor longitud en la circunferencia es el Diámetro Página 7 de 10

8 16. El Razonamiento Todos los Guajiros son amantes de la Cultura Wayuu, Todos los Riohacheros son Guajiros, entonces, Todos los Riohacheros son amantes de la Cultura Wayuu. Es un Silogismo Categórico, por cuanto: 1. Sus premisas y conclusión son proposiciones categóricas 2. Sus premisas y conclusión son proposiciones contingentes 3. Los términos mayor y menor del silogismo aparecen cada uno, en una premisa diferente 4. Los términos mayor y menor del silogismo aparecen ambos, en la conclusión 17. Dos proposiciones son contradictorias si una de ellas es la negación de la otra, es decir, las dos proposiciones no pueden ser a la vez verdaderas ni a la vez falsas. Cuáles entre las siguientes proposiciones son contradictorias? 1. Todo irracional negativo es también un número real 2. En Colombia celebramos Amor y Amistad en Septiembre 3. Todo irracional positivo es también un número real 4. No es cierto que en Colombia celebramos Amor y Amistad en Septiembre 18. Entre las opciones propuestas se describen las relaciones de inclusión, no inclusión, y no pertenencia entre los conjuntos A, B, C y el elemento x. Entre las opciones propuestas se debe identificar las que corresponden a proposiciones VERDADERAS: Página 8 de 10

9 19. Las tablas de verdad permiten determinar la validez de un razonamiento lógico al analizar en éstas el valor de verdad de las premisas con respecto a la conclusión. Teniendo en cuenta la tabla de verdad que se encuentra a continuación, seleccione las proposiciones correctas sobre los posibles valores de verdad que puede tomar el razonamiento para la combinación 7: Combinación Premisa 1 P1 Premisa 2 P2 1 F F V 2 F F F 3 V V F 4 F V V 5 V F F 6 V F F 7 8 V V V Conclusión C 1. Con P1 Verdadera, P2 Verdadera y C Falsa, el razonamiento no es válido 2. Con P1 Verdadera, P2 Verdadera y C Verdadera, el razonamiento es válido 3. Para cualquier valor de las premisas y de la conclusión el razonamiento no es válido 4. Para cualquier valor de las premisas y de la conclusión el razonamiento es válido ÍTEMS DE ANÁLISIS DE RELACIÓN Este tipo de ítems consta de dos proposiciones así: una Afirmación y una Razón, unidas por la palabra PORQUE. Usted debe examinar la veracidad de cada proposición y la relación teórica que las une. Para responder este tipo de ítems, debe leerla completamente y señalar en la hoja de respuesta, la elegida de acuerdo con las siguientes instrucciones: Marque A si la afirmación y la razón son VERDADERAS y la razón es una explicación CORRECTA de la afirmación. Marque B si la afirmación y la razón son VERDADERAS, pero la razón NO es una explicación CORRECTA de la afirmación. Marque C si la afirmación es VERDADERA, pero la razón es una proposición FALSA. Marque D si la afirmación es FALSA, pero la razón es una proposición VERDADERA. 20. El Silogismo Disyuntivo o Modus Tollendo Ponens es un razonamiento deductivo valido. PORQUE, no existe una combinación en la que al ser verdaderas sus premisas resulte falsa la conclusión. 21. Si escucho entonces hablo, y no hablo, luego no escucho, constituye un razonamiento deductivo no valido. PORQUE, su forma lógica corresponde a la inferencia Modus Tollens. Página 9 de 10

10 22. Existen 4 formas de enunciar proposiciones condicionales así: AFIRMACIÓN: Una expresión equivalente a si n es un número par, entonces n es divisible por 2, es la expresión: si n no es divisible por 2 entonces n no es número par PORQUE la implicación recíproca es equivalente a la implicación directa. 23. Toda expresión matemática es una proposición PORQUE no toda expresión matemática específica el criterio de comparación, ni se puede decir que sea verdadera o falsa. 24. El objetivo principal del curso de lógica matemática es determinar el valor de verdad de las proposiciones involucradas en un razonamiento PORQUE al usar los valores de verdad que toman las proposiciones de un razonamiento podemos determinar si el razonamiento es o no válido. ÍTEMS DE ANÁLISIS DE POSTULADOS Los ítems que encontrará a continuación constan de una afirmación VERDADERA (tesis) y dos postulados también VERDADEROS, identificados con POSTULADO I y POSTULADO II. Usted debe analizar si los postulados se deducen lógicamente de la afirmación y seleccionar la respuesta en su hoja de cotejo, conforme a la siguiente instrucción: Marque A si de la tesis se deducen los postulados I y II. Marque B si de la tesis se deduce el postulado I. Marque C si de la tesis sólo se deduce el postulado II. Marque D si ninguno de los postulados se deduce de la tesis. 25. TESIS Una TAUTOLOGIA es una proposición compuesta que siempre es VERDADERA, sin importar el valor de verdad que tengan las proposiciones simples que la forman. Por consiguiente: Postulado I: La proposición es una tautología Postulado II: El condicional es verdadero cuando su consecuente es verdadero Página 10 de 10

Evaluación Nacional Revisión del intento 1

Evaluació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 detalles

CONVOCATORIA NACIONAL I 2009 ÁLGEBRA, TRIGONOMETRÍA Y GEOMETRIA ANALITICA TEMA B CUADERNILLO DE PREGUNTAS

CONVOCATORIA NACIONAL I 2009 ÁLGEBRA, TRIGONOMETRÍA Y GEOMETRIA ANALITICA TEMA B CUADERNILLO DE PREGUNTAS CUADERNILLO DE PREGUNTAS PREGUNTAS DE SELECCIÓN MÚLTIPLE CON ÚNICA RESPUESTA A continuación, usted encontrará preguntas que se desarrollan en torno a un enunciado, problema o contexto, frente al cual,

Más detalles

CONVOCATORIA NACIONAL I 2009 ÁLGEBRA, TRIGONOMETRÍA Y GEOMETRIA ANALITICA TEMA A CUADERNILLO DE PREGUNTAS

CONVOCATORIA NACIONAL I 2009 ÁLGEBRA, TRIGONOMETRÍA Y GEOMETRIA ANALITICA TEMA A CUADERNILLO DE PREGUNTAS I 009 CUADERNILLO DE PREGUNTAS PREGUNTAS DE SELECCIÓN MÚLTIPLE CON ÚNICA RESPUESTA A continuación, usted encontrará preguntas que se desarrollan en torno a un enunciado, problema o conteto, frente al cual,

Más detalles

Ló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 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 detalles

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD CURSO DE LÓGICA MATEMÁTICA TRABAJO FINAL PUNTOS A DESARROLLAR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD CURSO DE LÓGICA MATEMÁTICA TRABAJO FINAL PUNTOS A DESARROLLAR UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD CURSO DE LÓGICA MATEMÁTICA TRABAJO FINAL Con su grupo de trabajo resolver los siguientes puntos, sustentando cada una de sus respuestas. PUNTOS A DESARROLLAR

Más detalles

Operaciones con Proposiciones

Operaciones 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 detalles

p q p q p (p q) V V V V V F F F F V V F F F V F

p q p q p (p q) V V V V V F F F F V V F F F V F 3.2 Reglas de inferencia lógica Otra forma de transformación de las proposiciones lógicas son las reglas de separación, también conocidas como razonamientos válidos elementales, leyes del pensamiento,

Más detalles

CENTRO FORMATIVO DE ANTIOQUIA CEFA MUNICIPIO DE MEDELLÍN ÁREA DE MATEMÁTICAS GRADO 11 LA DEMOSTRACIÓN

CENTRO FORMATIVO DE ANTIOQUIA CEFA MUNICIPIO DE MEDELLÍN ÁREA DE MATEMÁTICAS GRADO 11 LA DEMOSTRACIÓN ALGUNAS REGLAS DE INFERENCIA LÓGICA PERÍODO I FECHA 18 de enero de 2018 NIVEL MEDIA TÉCNICA CENTRO FORMATIVO DE ANTIOQUIA CEFA MUNICIPIO DE MEDELLÍN ÁREA DE MATEMÁTICAS GRADO 11 LA DEMOSTRACIÓN Podemos

Más detalles

Lógica Proposicional. Sergio Stive Solano Sabié. Marzo de 2012

Lógica Proposicional. Sergio Stive Solano Sabié. Marzo de 2012 Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa

Más detalles

Lógica Proposicional. Cátedra de Matemática

Ló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 detalles

Introducción a la Lógica

Introducció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 detalles

Resumen 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. 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 detalles

LICENCIATURA EN MATEMÁTICA. Práctico N 1 Lenguaje de la lógica. proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 /

LICENCIATURA 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 detalles

CIENCIAS FORMALES CIENCIAS FÁCTICAS

CIENCIAS 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 detalles

Camilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa 1.

Camilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa 1. Guía de estudio Métodos de demostración Unidad A: Clase 3 Camilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa 1.. Inferencias y métodos de

Más detalles

TEMA 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. 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 detalles

LOGICA MATEMATICA. Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías:

LOGICA MATEMATICA. Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías: LOGICA MATEMATICA Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías: 1 ) q p q p ( q ) p ( Definición ) q p ( Doble Negación ) p q ( Conmutatividad ) (

Más detalles

1.4 Inferencia Lógica

1.4 Inferencia Lógica Una Introducción a las Matemáticas Discretas y Teoría de Grafos 1.4 Inferencia Lógica En la Sección anterior reconocimos al Álgebra de Proposiciones como un conjunto de herramientas que nos permiten verificar

Más detalles

LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA

LÓ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 detalles

Tema de la clase: Lógica Matemática. Introducción

Tema de la clase: Lógica Matemática. Introducción Tema de la clase: Lógica Matemática Instructor: Marcos Villagra Clase # 01 Escriba: Sergio Mercado Fecha 30/10/2017 Introducción Una de las características principales que distinguen a las matemáticas

Más detalles

SubTemas. Tema 1.4 Razonamiento Aproximado. Tópicos

SubTemas. Tema 1.4 Razonamiento Aproximado. Tópicos SubTemas 1.1 Introducción al control difuso 1.2 Teoría de conjuntos difusos 1.3 Representación del conocimiento 1.4 Razonamiento aproximado 1.5 Sistemas de inferencia difusos Tema 1.4 Razonamiento Aproximado

Más detalles

RAZONAMIENTO LÓGICO LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO. La lógica se puede clasificar como:

RAZONAMIENTO 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 detalles

TEMA: LÓGICA Y TEORÍA DE LA DR. LUIS ALBERTO PACHECO MANDUJANO

TEMA: 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 detalles

Enunciados Abiertos y Enunciados Cerrados

Enunciados 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 detalles

Material educativo. Uso no comercial 1.4 MÉTODOS DE DEMOSTRACIÓN Método directo o Método de la hipótesis auxiliar

Material educativo. Uso no comercial 1.4 MÉTODOS DE DEMOSTRACIÓN Método directo o Método de la hipótesis auxiliar 1.4 MÉTODOS DE DEMOSTRACIÓN Designamos en esta forma las estrategias o esquemas más generales que identificamos en los procesos deductivos. Estos modelos están fundamentados lógicamente en teoremas o reglas

Más detalles

LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL PROPOSICIONES Una proposición es todo enunciado, u oración enunciativa, respecto del cual se tiene un criterio que permite afirmar que su contenido es verdadero o falso, pero no ambos.

Más detalles

Matemáticas Discretas TC1003

Matemáticas Discretas TC1003 Matemáticas Discretas TC1003 Módulo I: s Válidos Departamento de Matemáticas ITESM Módulo I: s Válidos Matemáticas Discretas - p. 1/50 En matemáticas y en lógica un argumento no es una disputa. Más bien,

Más detalles

Introducción. Ejemplos de expresiones que no son proposiciones

Introducción. Ejemplos de expresiones que no son proposiciones Introducción El objetivo de los matemáticos es descubrir y comunicar ciertas verdades. Las matemáticas son el lenguaje de los matemáticos y una demostración, es un método para comunicar una verdad matemática

Más detalles

2. Si P; Q; R son verdaderas y S; T son falsas, determine el valor de verdad de la proposición: [P =) (R =) T )] () [(:P ^ S) =) (Q =) :T )]

2. Si P; Q; R son verdaderas y S; T son falsas, determine el valor de verdad de la proposición: [P =) (R =) T )] () [(:P ^ S) =) (Q =) :T )] Instituto Tecnológico de Costa Rica Escuela de Matemática I semestre 2012 Cálculo Diferencial e Integral. Prof. Juan José fallas. 1 Leyes de la lógica y reglas de inferencia 2 Ejercicios 1 Leyes de la

Más detalles

Lógica proposicional o Lógica de enunciados

Ló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 detalles

Matemáticas Discretas TC1003

Matemáticas Discretas TC1003 Matemáticas Discretas TC1003 Módulo I: s Válidos Departamento de Matemáticas ITESM Módulo I: s Válidos Matemáticas Discretas - p. 1/50 En matemáticas y en lógica un argumento no es una disputa. Más bien,

Más detalles

3. LA ARGUMENTACIÓN FICHA 1 DE REFUERZO DE CONTENIDOS

3. 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 detalles

2. Los símbolos de la lógica proposicional.

2. 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 detalles

Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes

Teoremas: 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 detalles

Lógicas para la Informática y la Inteligencia Artificial Memoria de la práctica DiagVenn 1.0

Lógicas para la Informática y la Inteligencia Artificial Memoria de la práctica DiagVenn 1.0 Lógicas para la Informática y la Inteligencia Artificial Memoria de la práctica DiagVenn 1.0 Autor: Juan Ángel Hernández Santos - 1 - ÍNDICE DE CONTENIDOS 1. Bases teóricas 3 2. Funcionamiento del programa

Más detalles

Asignatura: 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 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 detalles

Material diseñado para los estudiantes del NUTULA, alumnos del profesor Álvaro Moreno.01/10/2010 Lógica Proposicional

Material diseñado para los estudiantes del NUTULA, alumnos del profesor Álvaro Moreno.01/10/2010 Lógica Proposicional Lógica Proposicional INTRODUCCIÓN El humano se comunica con sus semejantes a través de un lenguaje determinado (oral, simbólico, escrito, etc.) construido por frases y oraciones. Estas pueden tener diferentes

Más detalles

Taller Matemático. Lógica. Cristóbal Pareja Flores antares.sip.ucm.es/cpareja Facultad de Estadística Universidad Complutense de Madrid

Taller Matemático. Lógica. Cristóbal Pareja Flores antares.sip.ucm.es/cpareja Facultad de Estadística Universidad Complutense de Madrid Taller Matemático Lógica Cristóbal Pareja Flores antares.sip.ucm.es/cpareja Facultad de Estadística Universidad Complutense de Madrid 1. Lógica 14 amigos aportan la misma cantidad de dinero, sobre un fondo

Más detalles

Guía de estudio Algunos aspectos de lógica matemática Unidad A: Clases 1 y 2

Guía de estudio Algunos aspectos de lógica matemática Unidad A: Clases 1 y 2 Guía de estudio Algunos aspectos de lógica matemática Unidad A: Clases 1 y 2 Camilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa *. 1. Lógica

Más detalles

Introducción. Ejemplos de expresiones que no son proposiciones

Introducción. Ejemplos de expresiones que no son proposiciones Introducción El objetivo de los matemáticos es descubrir y comunicar ciertas verdades. Las matemáticas son el lenguaje de los matemáticos y una demostración, es un método para comunicar una verdad matemática

Más detalles

Universidad Nacional Abierta y a Distancia UNAD-Lógica Matemática - Georffrey Acevedo G. A que viene la lógica?

Universidad 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 detalles

Ingeniería Mecatrónica. Clave de la asignatura: MCB Horas teoría-horas práctica- Créditos: 4 0-8

Ingeniería Mecatrónica. Clave de la asignatura: MCB Horas teoría-horas práctica- Créditos: 4 0-8 1. - DATOS DE LA ASIGNATURA Nombre de la asignatura : Álgebra Lineal Carrera: Ingeniería Mecatrónica Clave de la asignatura: MCB-0202 Horas teoría-horas práctica- Créditos: 4 0-8 2. - UBICACIÓN a) RELACION

Más detalles

UNIDAD I: LÓGICA MATEMÁTICA

UNIDAD 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 detalles

LÓGICA GUÍA PARA EXTRAORDINARIO. Noviembre 2017

LÓGICA GUÍA PARA EXTRAORDINARIO. Noviembre 2017 LÓGICA GUÍA PARA EXTRAORDINARIO Noviembre 2017 Nota: Si requieres practicar más ejercicios consulta el libro: Lógica. Conceptos y ejercicios que llevaste en tu curso de 1 de preparatoria. PRIMERA UNIDAD.

Más detalles

MATEMÁTICA 1 JRC El futuro pertenece a aquellos que creen en la belleza de sus sueños

MATEMÁTICA 1 JRC El futuro pertenece a aquellos que creen en la belleza de sus sueños MATEMÁTICA 1 JRC LÓGICA Es la ciencia formal que estudia los principios y procedimientos que permiten demostrar la validez o invalidez de una inferencia, es decir, reconocer entre un razonamiento correcto

Más detalles

Matemáticas Discretas TC1003

Matemáticas Discretas TC1003 Matemáticas Discretas TC1003 Métodos de Demostración Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM Métodos de Demostración Matemáticas Discretas - p. 1/13 Introducción En esta sección

Más detalles

Lenguaje artificial. Código inventado para determinadas disciplinas y leyes, para utilizarlo de determinadas maneras.

Lenguaje artificial. Código inventado para determinadas disciplinas y leyes, para utilizarlo de determinadas maneras. LENGUAJE Y RAZONAMIENTO LÓGICO 1. LENGUAJES NATURALES Y ARTIFICIALES. 2. LA LÓGICA COMO CIENCIA DEL LENGUAJE. 3. LÓGICA PROPOSICIONAL. 3.1. Cálculo proposicional. Símbolos elementales. Reglas de formación.

Más detalles

Módulo 8 Implicación. Equivalencia Lógica

Módulo 8 Implicación. Equivalencia Lógica Módulo 8 Implicación. Equivalencia Lógica OBJETIO: Identificará la suposición o hipótesis de la implicación y su conclusión, expresará en diferentes formas una implicación; e identificará las proposiciones

Más detalles

Ampliación Matemática Discreta. Justo Peralta López

Ampliació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 Axiomas y reglas de inferencia Reglas de la impliación, conjunción y disyunción 3 Reglas derivadas

Más detalles

Capítulo 3 Cálculo proposicional 3.5 Razonamientos con proposiciones

Capítulo 3 Cálculo proposicional 3.5 Razonamientos con proposiciones 3.5 Razonamientos con proposiciones Si nos entregan el valor de verdad de las proposiciones simples es posible deducir el valor de verdad de la proposición compuesta. p: Holmes nació antes que Marx, es

Más detalles

Matemáticas Discretas Lógica

Matemá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 detalles

Lógica de Predicados

Lógica de Predicados Lógica de redicados Lógica de predicados Lógica de predicados Cálculo de predicados Reglas de inferencia Deducción proposicional Demostración condicional Demostración indirecta Valores de certeza y Tautología

Más detalles

2.5 Los argumentos: premisas y conclusiones

2.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 detalles

MÉTODOS DE DEMOSTRACIÓN

MÉ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 detalles

2.1. Introducción Lógica: Campo del conocimiento relacionado con el estudio y el análisis de los métodos de razonamiento. El razonamiento lógico es es

2.1. Introducción Lógica: Campo del conocimiento relacionado con el estudio y el análisis de los métodos de razonamiento. El razonamiento lógico es es Tema 2. Introducción a la lógica 1. Introducción 2. Lógica de proposiciones 1. Definiciones 2. Sintaxis 3. Semántica Bibliografía Matemática discreta y lógica. Grassman y Tremblay. 1997. Prentice Hall.

Más detalles

Capítulo 4. Lógica matemática. Continuar

Capí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 detalles

LÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Sintaxis y semántica

LÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Sintaxis y semántica LÓGICA FORMAL TEORIAS DE PRIMER ORDEN Sintaxis y semántica Pedro López Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Lenguajes de primer orden 1 La lógica

Más detalles

PRÁCTICO N o 2. Introducción a la Lógica Proposicional. Ejercicio 1:

PRÁCTICO N o 2. Introducción a la Lógica Proposicional. Ejercicio 1: Ejercicio 1: PRÁCTICO N o 2 Introducción a la Lógica Proposicional Dadas las siguientes frases identifique e indique cuáles son proposiciones simples: 1. Pedro es alto? 2. La cantante triunfa inesperadamente.

Más detalles

ENUNCIADO 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

ENUNCIADO 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 detalles

SERVICIOS COMPLEMENTARIOS DE APOYO

SERVICIOS COMPLEMENTARIOS DE APOYO SERVICIOS COMPLEMENTARIOS DE APOYO APLICATIVO SAU (Sistema de atención al usuario) Es una herramienta cuyo fin es prestar un servicio rápido y eficiente en el cual se pueden hacer consultas, inquietudes,

Más detalles

Licenciatura en Ingeniería en Sistemas Inteligentes

Licenciatura en Ingeniería en Sistemas Inteligentes Universidad Autónoma del Estado de México Unidad Académica Profesional Nezahualcóyotl Licenciatura en Ingeniería en Sistemas Inteligentes Unidad de aprendizaje: Lógica Matemática Inferencia Lógica Dra.

Más detalles

UNIVERSIDAD DE GUADALAJARA PROGRAMA DE ASIGNATURA MT106

UNIVERSIDAD 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 detalles

Cálculo Proposicional

Cálculo Proposicional Universidad Técnica ederico Santa María Departamento de Informática undamentos de Informática 1 Cálculo Proposicional Dr. Gonzalo Hernández Oliva Dr. Gonzalo Hernández USM I-1 Cálculo Proposicional 1 1)

Más detalles

ALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.

ALGEBRA 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 detalles

Razonamiento. Los razonamientos deductivo e inductivo en el método científico

Razonamiento. Los razonamientos deductivo e inductivo en el método científico Razonamiento Los razonamientos deductivo e inductivo en el método científico El método científico consiste en el conjunto de procedimientos para obtener un conocimiento que sea universal y, en principio,

Más detalles

I. CONSIDERACIONES GENERALES

I. CONSIDERACIONES GENERALES MATRIZ DE ESPECIFICACIONES DE LA PRUEBA NACIONAL DE SUFICIENCIA EN COMPRENSIÓN DE TEXTOS Y RAZONAMIENTO LÓGICO MATEMÁTICO PARA LA INCORPORACIÓN AL COLEGIO MAYOR SECUNDARIO PRESIDENTE DEL PERÚ I. CONSIDERACIONES

Más detalles

Matemáticas Discretas TC1003

Matemáticas Discretas TC1003 Matemáticas Discretas TC1003 Módulo I: Departamento de Matemáticas ITESM Módulo I: Matemáticas Discretas - p. 1/24 La forma proposicional más importante es la condicional. La Módulo I: Matemáticas Discretas

Más detalles

Demostración Automática. Tema 2. Procesamiento del conocimiento con la Lógica Matemática

Demostración Automática. Tema 2. Procesamiento del conocimiento con la Lógica Matemática Demostración Automática de Teoremas Tema 2. Procesamiento del conocimiento con la Lógica Matemática Temas Introducción Sistemas de axiomas Teoría de la demostración. Sistema de Kleene Deducción natural

Más detalles

LÓGICA MATEMÁTICA. ARMANDO LÓPEZ SIERRA Ingeniero de Sistemas TRABAJO FINAL

LÓGICA MATEMÁTICA. ARMANDO LÓPEZ SIERRA Ingeniero de Sistemas TRABAJO FINAL TRABAJO FINAL Nota: Las personas con temas asignados para exposiciones, que expusieron bien o que piensan que lo harán bien en el último encuentro no tienen que presentar este trabajo, ya que la nota de

Más detalles

PROCESO DE PLANEACIÓN DIDÁCTICA DEL PROYECTO INTEGRADOR DE

PROCESO DE PLANEACIÓN DIDÁCTICA DEL PROYECTO INTEGRADOR DE PROCESO DE PLANEACIÓN DIDÁCTICA DEL PROYECTO INTEGRADOR DE 1er. SEMESTRE. CBU 2015. LÓGICA Eje: Salud adolescente y práctica de habilidades sociales: convivencia y prevención de la violencia. Proyecto:

Más detalles

Tema 2: Teoría de la Demostración

Tema 2: Teoría de la Demostración Tema 2: Teoría de la Demostración Conceptos: Estructura deductiva Teoría de la Demostración Sistemas axiomáticos: Kleene Fórmulas válidas Teorema de la Deducción Introducción a la T. de la Demostración

Más detalles

Guía para el estudiante

Guí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 detalles

Lógica Matemática. Contenido. Definición. Finalidad de la unidad. Proposicional. Primer orden

Ló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 detalles

RAZONAMIENTO MATEMÁTICO

RAZONAMIENTO MATEMÁTICO RAZONAMIENTO MATEMÁTICO I. LÓGICA PROPOSICIONAL A. Proposiciones B. Conectivos proposicionales B.. Negación B.2. Conjunción B.3. Disyunción B.4. Condicional B.5. Bicondicional B.6. Otros conectivos C.

Más detalles

Lógica Matemática. M.C. Mireya Tovar Vidal

Lógica Matemática. M.C. Mireya Tovar Vidal Lógica Matemática M.C. Mireya Tovar Vidal Contenido Proposicional Definición Sintaxis Proposición Conectivos lógicos Semántica Primer orden cuantificadores Finalidad de la unidad Traducir enunciados sencillos

Más detalles

U n i v e r s i d a d N a c i o n a l d e l E s t e PROGRAMA DE ESTUDIOS

U n i v e r s i d a d N a c i o n a l d e l E s t e PROGRAMA DE ESTUDIOS 1.3. Carga horaria : horas 2. PERFIL DE EGRESO DE LA CARRERA El/La médico/a cirujano/a egresado/a de la Facultad de Ciencias de la Salud de la Universidad Nacional del Este es un profesional con formación

Más detalles

Prueba de control Soluciones

Prueba de control Soluciones FACULTAD DE MATEMÁTICAS Lenguaje y método matemáticos 30 de septiembre de 011 Prueba de control Soluciones Nombre: 1 Experimente con casos concretos y proponga respuestas para las siguientes preguntas.

Más detalles

SOBRE LOGICA MATEMATICA. Sandra M. Perilla-Monroy. Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia.

SOBRE LOGICA MATEMATICA. Sandra M. Perilla-Monroy. Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia. SOBRE LOGICA MATEMATICA Sandra M. Perilla-Monroy Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia. Resumen. sandraperilla@usantotomas.edu.co Carrera 9 No 51-11 Bogotá Colombia

Más detalles

LÓGICA. Colegio Marta Brunet Departamento de Matemáticas MSc. Alejandro Andrés Panes Pérez. Si x = 2 2 es un numero natural

LÓGICA. Colegio Marta Brunet Departamento de Matemáticas MSc. Alejandro Andrés Panes Pérez. Si x = 2 2 es un numero natural Colegio Marta Brunet Departamento de Matemáticas MSc. Alejandro Andrés Panes Pérez LÓGICA Definición 1. Una proposición es una expresión susceptible de ser verdadera o falsa. Ejemplo 1. p: El ser humano

Más detalles

LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL MATEMÁTICA I AÑO LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL Nadie aprende si no se ha equivocado al intentarlo... - DE QUÉ TRATA LA LÓGICA? La lógica investiga la relación de consecuencia que se da entre

Más detalles

I N T R O D U C C I Ó N

I N T R O D U C C I Ó N I N T R O D U C C I Ó N Joven Bachiller: Como parte de las acciones de mejora para fortalecer el nivel académico de nuestros estudiantes, el Colegio de Bachilleres, pone a disposición, para estudiantes,

Más detalles

Universidad Abierta y a Distancia de México. Licenciatura en matemáticas. 2 cuatrimestre. Introducción al pensamiento matemático

Universidad Abierta y a Distancia de México. Licenciatura en matemáticas. 2 cuatrimestre. Introducción al pensamiento matemático Universidad Abierta y a Distancia de México Licenciatura en matemáticas 2 cuatrimestre Introducción al pensamiento matemático Clave: 1 Índice... 3 Ficha de identificación... 3 Descripción... 3 Propósitos...

Más detalles

Apéndice 1 Reglas y leyes lógicas

Apé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 detalles

Continuación de lógica básica

Continuación de lógica básica Programa Inmersión, Verano 2017 Notas escritas por Dr. M Notas del cursos. Basadas en los prontuarios de MATE 3001 y MATE 3023 Clase #12: martes, 15 de agosto de 2017. Continuación de lógica básica Definición

Más detalles

LÓGICA Y CONJUNTOS* En este capítulo

LÓGICA Y CONJUNTOS* En este capítulo LÓGICA Y CONJUNTOS* 1 En este capítulo 1.1 Enunciados y valor de verdad 1.2 Proposiciones simples y compuestas 1.3 Proposiciones lógicamente equivalentes 1.4 Argumentos 1.5 Cuantificadores 1.6 Conjuntos

Más detalles

La Lógica de los Teoremas

La Lógica de los Teoremas La Lógica de los Teoremas. Las fórmulas que son tautologías Una fórmula lógica de F ( p,..., p k ) de k variables, p,..., pk se dice que es una tautología si es siempre cierta para cualesquiera valores

Más detalles

Ló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. 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 detalles

LÓGICA PRIMER SEMESTRE. Definición del Concepto de Lógica.

LÓGICA PRIMER SEMESTRE. Definición del Concepto de Lógica. PRIMER SEMESTRE Definición del Concepto de Lógica. LÓGICA 1. Quién es el Fundador de la Lógica y como la define? 2. Cuál es la definición Nominal de Lógica? 3. Escribe la definición Real de Lógica 4. Qué

Más detalles

TEMA I INTRODUCCIÓN A LA LÓGICA

TEMA 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 detalles

LOGICA Y ALGEBRA DISCRETA

LOGICA Y ALGEBRA DISCRETA LOGICA Y ALGEBRA DISCRETA Franco D. Menendez LABIA FACET - UNT Contenido de la Materia UNIDAD TEMÁTICA 2: DECISION EN EL LENGUAJE FORMAL Sistemas Axiomáticos. Noción General. Decisión Por Formas Normales.

Más detalles

Un enunciado es toda frase u oración que se emite

Un enunciado es toda frase u oración que se emite OBJETIO 2: Aplicar la lógica proposicional y la lógica de predicados en la determinación de la validez de una proposición dada. Lógica Proposicional La lógica proposicional es la más antigua y simple de

Más detalles

INDICE Introducción: Cultura y Filosofía; Conocimiento y Lógica 1. Idea de cultura 2. Concepto de filosofía 3. El Conocimiento y la lógica

INDICE Introducción: Cultura y Filosofía; Conocimiento y Lógica 1. Idea de cultura 2. Concepto de filosofía 3. El Conocimiento y la lógica INDICE Contenido VII Prólogo a la primera edición XV Prólogo a la segunda edición XVII Prólogo a la tercera edición XIX Introducción: Cultura y Filosofía; Conocimiento y Lógica 1. Idea de cultura 1 1.

Más detalles

MATERIAL DE APOYO PARA EL PRIMER CURSO DE MATEMÁTICAS COMPUTACIONALES.

MATERIAL DE APOYO PARA EL PRIMER CURSO DE MATEMÁTICAS COMPUTACIONALES. MATERIAL DE APOYO PARA EL PRIMER CURSO DE MATEMÁTICAS COMPUTACIONALES. Ing. HUGO HUMBERTO MORALES PEÑA MAESTRÍA EN ENSEÑANZA DE LAS MATEMÁTICAS Línea de Matemáticas Computacionales UNIVERSIDAD TECNOLÓGICA

Más detalles

LOGICA MATEMATICA. El dar un juicio nos permite comparar las características primarias o secundarias del objeto o termino y valorarlas

LOGICA MATEMATICA. El dar un juicio nos permite comparar las características primarias o secundarias del objeto o termino y valorarlas DEINICIÓN ETIMOLÓGICA DE LÓGICA EL término LOGICA viene de dos voces griegas: Logos, que significa palabra, tratado, pensamiento o razón e icos que significa relacionado con, por lo tanto lógica significa

Más detalles

TEMA 4. RAZONAMIENTO DEDUCTIVO (III). RAZONAMIENTO PROPOSICIONAL Introducción a los aspectos formales del razonamiento proposicional.

TEMA 4. RAZONAMIENTO DEDUCTIVO (III). RAZONAMIENTO PROPOSICIONAL Introducción a los aspectos formales del razonamiento proposicional. TEMA 4. RAZONAMIENTO DEDUCTIVO (III). RAZONAMIENTO PROPOSICIONAL 4.1. Introducción a los aspectos formales del razonamiento proposicional. 4.2. El razonamiento disyuntivo. 4.3. El razonamiento condicional.

Más detalles

Nombre y Apellido. Beatriz Depetris. Lucas Romano

Nombre y Apellido. Beatriz Depetris. Lucas Romano INSTITUTO DE DESARROLLO ECONÓMICO E INNOVACIÓN Año: 2018 PROGRAMA DE LA ASIGNATURA: Elementos de Lógica y Matemática Discreta (MA008) CÓDIGO: MA008 AÑO DE UBICACIÓN EN EL PLAN DE ESTUDIOS: 1 año FECHA

Más detalles

El conectivo XOR y la diferencia simétrica de conjuntos

El conectivo XOR y la diferencia simétrica de conjuntos El conectivo OR y la diferencia simétrica de conjuntos Memo Garro Enero 2018 Resumen Definimos la diferencia simétrica usual de conjuntos mediante el conectivo OR Y. También conocido comunmente como disyunción

Más detalles