Enunciados. Expresan proposiciones. En principio, son verdaderos o falsos.

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

Download "Enunciados. Expresan proposiciones. En principio, son verdaderos o falsos."

Transcripción

1 ENUNCIADOS

2 Enunciados Expresan proposiciones. En principio, son verdaderos o falsos.

3 Ejemplos: Hoy es martes. Los niños juegan felices. Esta mañana está nublada y hace frío. Los contenidos de lógica son sencillos.

4 Enunciados simples y complejos Ejemplos: Ese carro es veloz. Simple Me doy cuenta, es verdad que ese carro es veloz. Ese carro no es veloz. Compleja Compleja Juan cree que ese carro es veloz. Compleja

5 Enunciados simples No tienen más partes que lo componen. Ejemplos: Marta es simpática. Ese niño es hiperactivo.

6 Enunciados complejos Son enunciados más amplios pues contienen a otros enunciados en su composición. Ejemplos: Ana sonríe y Luis se enoja. No es cierto que Rosa se ganó la lotería.

7 Tablas de verdad con enunciados 1. Operador lógico: y Ejemplos: Hoy vine al taller y en la tarde iré al cine. Llegaré rápido y me quedaré toda la noche. Explico el contenido y ustedes me hacen preguntas.

8 Ejemplo A Hoy vine al taller y en la tarde iré al cine. Cuándo es verdadero y cuándo es falso este enunciado? Hoy vine al taller Posibilidades lógicas en la tarde iré al cine Hoy vine al taller y en la tarde iré al cine

9 Resolución ejemplo A Hoy vine al taller y en la tarde iré al cine. Cuándo es verdadero y cuándo es falso este enunciado? Hoy vine al taller Posibilidades lógicas en la tarde iré al cine Hoy vine al taller y en la tarde iré al cine V V V* V F F F V F F F F *Es únicamente verdadero si las dos circunstancias son verdaderas; es decir, si las dos circunstancias se realizan.

10 Representación del ejemplo A Ejemplo Hoy vine al taller y en la tarde iré al cine. T y C (T. C) Posibilidades lógicas T y C T C V V V V F F F V F F F F

11 Ejemplo B Llegaré rápido y me quedaré toda la noche. Cuándo es verdadero y cuándo es falso este enunciado? Posibilidades lógicas Llegaré rápido me quedaré toda la noche Llegaré rápido y me quedaré toda la noche

12 Resolución del ejemplo B Llegaré rápido y me quedaré toda la noche. Cuándo es verdadero y cuándo es falso este enunciado? Posibilidades lógicas Llegaré rápido me quedaré toda la noche Llegaré rápido y me quedaré toda la noche V V V* V F F F V F F F F *Es únicamente verdadero si las dos circunstancias son verdaderas; es decir, si las dos circunstancias se realizan.

13 Representación del ejemplo B Ejemplo Llegaré rápido y me quedaré toda la noche. R y N (R. N) Posibilidades lógicas R y N R N V V V V F F F V F F F F

14 Tablas de verdad con enunciados 2. Operador lógico: o Ejemplos: Mañana me levantaré a desayunar o a hacer ejercicio. Esperaré a que me atiendan o iré a hacer el trabajo. Iré a estudiar o a ver televisión.

15 Ejemplo A Mañana me levantaré a desayunar o a hacer ejercicio. Cuándo es verdadero y cuándo es falso este enunciado? Posibilidades lógicas Mañana me levantaré a a hacer ejercicio desayunar Mañana me levantaré a desayunar o a hacer ejercicio

16 Resolución del ejemplo A: Mañana me levantaré a desayunar o a hacer ejercicio. Cuándo es verdadero y cuándo es falso este enunciado? Posibilidades lógicas Mañana me levantaré a Mañana me levantaré a a hacer ejercicio desayunar o a hacer desayunar ejercicio V V V V F V F V V F F F* *Es falso si las dos circunstancias son falsas; es decir, si las dos circunstancias no se realizan. Para que ese enunciado sea verdadero, deben realizarse uno de los dos o los dos enunciados.

17 Representación del ejemplo A Ejemplo Mañana me levantaré a desayunar o a hacer ejercicio. D o E (D V E) Posibilidades lógicas D E D o E V V V V F V F V V F F F

18 Ejemplo B: Esperaré a que me atiendan o iré a hacer el trabajo. Cuándo es verdadero y cuándo es falso este enunciado? Posibilidades lógicas Esperaré a que me iré a hacer el trabajo atiendan Esperaré a que me atiendan o iré a hacer el trabajo

19 Resolución del ejemplo B: Esperaré a que me atiendan o iré a hacer el trabajo. Cuándo es verdadero y cuándo es falso este enunciado? Posibilidades lógicas Esperaré a que me Esperaré a que me iré a hacer el trabajo atiendan o iré a hacer atiendan el trabajo V V V V F V F V V F F F* *Es falso si las dos circunstancias son falsas; es decir, si las dos circunstancias no se realizan. Para que ese enunciado sea verdadero, deben realizarse uno de los dos o los dos enunciados.

20 Representación del ejemplo B Ejemplo Esperaré a que me atiendan o iré a hacer el trabajo. A o T (A V T) Posibilidades lógicas A T A o T V V V V F V F V V F F F*

21 A repasar! Cuál es la diferencia entre un enunciado simple y un enunciado complejo?

22 PRUEBA DE VALIDEZ CON TABLAS DE VERDAD

23 Ejemplo de razonamiento A: Mañana me levantaré temprano y vendré a trabajar. Me levantaré temprano. vendré a trabajar Mañana me levantaré temprano vendré a trabajar Mañana me levantaré temprano y vendré a trabajar. Me levantaré temprano. vendré a trabajar Me levantaré temprano vendré a trabajar

24 Resolución razonamiento A: Mañana me levantaré temprano y vendré a trabajar. Me levantaré temprano. vendré a trabajar Mañana me levantaré temprano vendré a trabajar Mañana me levantaré temprano y vendré a trabajar. Me levantaré temprano. vendré a trabajar Me levantaré temprano vendré a trabajar V V V V V V F F V F F V F F V F F F F F Nota: Argumento válido: si las premisas son verdaderas, la conclusión necesariamente es verdadera. Argumento inválido: premisas verdaderas pero conclusión falsa. Razonamiento: válido.

25 Representación del razonamiento A Mañana me levantaré temprano y vendré a trabajar. Me levantaré temprano. vendré a trabajar L y T L Por lo tanto T L T Por lo tanto L T T V V V V V V F F V F F V F F V F F F F F

26 Ejemplo de razonamiento B: Leeré el correo y lo contestaré. Leeré el correo. lo contestaré. Leeré el correo lo contestaré Leeré el correo y lo contestaré. Leeré el correo. lo contestaré. Leeré el correo Lo contestaré

27 Resolución razonamiento B: Leeré el correo y lo contestaré. Leeré el correo. lo contestaré. Leeré el correo lo contestaré Leeré el correo Leeré el correo Lo contestaré y lo contestaré. Leeré el correo. lo contestaré. V V V V V V F F V F F V F F V F F F F F Razonamiento: válido.

28 Representación del razonamiento B Leeré el correo y lo contestaré. Leeré el correo. lo contestaré. L y C L Por lo tanto C L C L y C L C L Por lo tanto C V V V V V V F F V F F V F F V F F F F F

29 Ejemplo de razonamiento C: Te veré mañana y te abrazaré. Te veré en la mañana. te abrazaré. Te veré mañana te abrazaré Te veré mañana y te abrazaré. Te veré en la mañana. te abrazaré. Te veré en la mañana te abrazaré

30 Resolución del razonamiento C: Te veré mañana y te abrazaré. Te veré en la mañana. te abrazaré. Te veré mañana te abrazaré Te veré mañana y te abrazaré. Te veré en la mañana. te abrazaré. Te veré en la mañana te abrazaré V V V V V V F F V F F V F F V F F F F F Razonamiento: válido.

31 Representación del razonamiento C Te veré mañana y te abrazaré. Te veré en la mañana. te abrazaré. M y A M Por lo tanto A M A M y A M A M Por lo tanto A V V V V V V F F V F F V F F V F F F F F

32 Ejemplo de razonamiento D: Usted debe cantar o se pone a bailar. Es así que no se pone a bailar debe cantar. Usted debe cantar se pone a bailar Usted debe cantar o se pone a bailar. Es así que no se pone a bailar debe cantar. no se pone a bailar debe cantar

33 Resolución del razonamiento D: Usted debe cantar o se pone a bailar. Es así que no se pone a bailar debe cantar. Usted debe cantar se pone a bailar Usted debe cantar o se pone a bailar. Es así que no se pone a bailar debe cantar. no se pone a bailar debe cantar V V V F V V F V V V F V V F F F F F V F Razonamiento: válido.

34 Representación del razonamiento D Usted debe cantar o se pone a bailar. Es así que no se pone a bailar debe cantar. C o B no B Por lo tanto C C B C o B no B C no B Por lo tanto C V V V F V V F V V V F V V F F F F F V F

35 Ejemplo de razonamiento E: Compraré tenis negras o sandalias. No compraré sandalias. compraré tenis negras. Compraré tenis negras (compraré) sandalias Compraré tenis negras o sandalias. Es así que no compraré sandalias. compraré tenis negras. no (compraré) sandalias compraré tenis negras

36 Resolución del razonamiento E: Compraré tenis negras o sandalias. No compraré sandalias. compraré tenis negras. Compraré tenis negras (compraré) sandalias Compraré tenis negras o sandalias. Es así que no compraré sandalias. compraré tenis negras. no (compraré) sandalias compraré tenis negras V V V F V V F V V V F V V F F F F F V F Razonamiento: válido.

37 Representación del razonamiento E Compraré tenis negras o sandalias. No compraré sandalias. compraré tenis negras. T o S no s Por lo tanto T T S T o S no S T no S Por lo tanto T V V V F V V F V V V F V V F F F F F V F

38 Ejemplo de razonamiento F: Nos veremos por la mañana o por la tarde. nos veremos por la tarde. Nos veremos por la mañana (Nos veremos) por la tarde Nos veremos por la mañana o por la tarde. nos veremos por la tarde. nos veremos por la tarde.

39 Resolución del razonamiento F: Nos veremos por la mañana o por la tarde. nos veremos por la tarde. Nos veremos por la mañana (Nos veremos) por la tarde Nos veremos por la mañana o por la tarde. nos veremos por la tarde. nos veremos por la tarde. V V V V V F V F F V V V F F F F Razonamiento: inválido.

40 Representación del razonamiento F Nos veremos por la mañana o por la tarde. nos veremos por la tarde. M o T Por lo tanto T M T M o T T Por lo tanto T V V V V V F V F F V V V F F F F

41 Ejemplo de razonamiento G: Esta película es buena y es larga. Esta película es larga o corta. Esta película es buena y es corta. Esta película es buena (esta película) es larga (esta película es) corta Esta película es buena y es larga. Esta película es larga o corta. Esta película es buena y es corta.

42 Resolución del razonamiento G: Esta película es buena y es larga. Esta película es larga o corta. Esta película es buena y es corta. Esta película es buena (esta película) es larga (esta película es) corta Esta película es buena y es larga. Esta película es larga o corta. Esta película es buena y es corta. V V V V V V V V F V V F V F V F V V V F F F F F F F F F F F F F V F V F F V F F V F F V V F V F Razonamiento: inválido.

43 Representación del razonamiento G Esta película es buena y es larga. Esta película es larga o corta. Esta película es buena y es corta. B L C B y L L o C B y C V V V V V V V V F V V F V F V F V V V F F F F F F F F F F F F F V F V F F V F F V F F V V F V F

44 Tenga presente: Si hay una línea en que las premisas sean verdaderas y la conclusión falsa, el razonamiento es inválido; de lo contrario, es válido. Nota: los silogismos no deben evaluarse con tablas de verdad.

45 Recomendación (pasos por seguir): Buscar los enunciados más simples. Apuntar todas las posibilidades de que los enunciados sean verdaderos o falsos. Designar el valor que tendrán los enunciados complejos (calcular el valor de cada fila). Una vez calculado el valor de las premisas y la conclusión, se debe buscar los casos en los que las premisas sean verdaderas y la conclusión, falsa. Si se presenta un solo caso de estos, el argumento es inválido; caso contrario, es válido.

46 «Nunca consideres el estudio como una obligación, sino como una oportunidad para penetrar en el bello y maravilloso mundo del saber.» -Albert Einstein

Razonamiento y tablas de verdad. MSc. Fabricio Díaz Porras Asesoría pedagógica de español DRE San José Central

Razonamiento y tablas de verdad. MSc. Fabricio Díaz Porras Asesoría pedagógica de español DRE San José Central Razonamiento y tablas de verdad MSc. Fabricio Díaz Porras Asesoría pedagógica de español DRE San José Central Antes de iniciar, aclaremos Una oración es una secuencia de símbolos y es perceptible Interrogativas

Más detalles

- Actividad III: Tablas de verdad con el conector si entonces en enunciados! - Actividad IV: El conector si entonces en razonamientos?

- Actividad III: Tablas de verdad con el conector si entonces en enunciados! - Actividad IV: El conector si entonces en razonamientos? ÍNDICE - Jugando con las tablas de verdad 3 - Las tablas de verdad 4 - Actividad I: Construyo tablas de verdad! 4 - Actividad II: Razonamiento válido o inválido? 5 - Actividad III: Tablas de verdad con

Más detalles

ENUNCIADOS Y RAZONAMIENTOS

ENUNCIADOS Y RAZONAMIENTOS ENUNCIADOS Y RAZONAMIENTOS ENUNCIADOS Enunciado Una expresión lingüística que en principio puede ser verdadera o falsa. Enunciado Ejemplo Todos los costarricenses son amantes de la paz. Los estudiantes

Más detalles

El razonamiento lógico se refiere al uso de entendimiento para pasar de unas proposiciones a otras partiendo de lo ya conocido o de lo que creemos

El razonamiento lógico se refiere al uso de entendimiento para pasar de unas proposiciones a otras partiendo de lo ya conocido o de lo que creemos El razonamiento lógico se refiere al uso de entendimiento para pasar de unas proposiciones a otras partiendo de lo ya conocido o de lo que creemos conocer a lo desconocido o menos conocido. TIPOS DE RAZONAMIENTO

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

La Lógica estudia la forma del razonamiento. La Lógica Matemática es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la

La Lógica estudia la forma del razonamiento. La Lógica Matemática es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la LÓGICA MATEMÁTICA OBJETIVOS Definirás proposición simple. Definirás proposiciones compuestas: Disyunción y conjunción. Relacionarás dichas proposiciones con las operaciones de conjuntos: unión e intersección.

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

Apoyo educativo. Español

Apoyo educativo. Español poyo educativo Español Material de LÓGIC para Diversificada Licda. Milena Ramírez p. 1 Décimo año Muy bien. En este nivel, retomamos muchos conceptos de lógica de III ciclo y los aplicamos al análisis

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

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

Razonamientos. Premisas Conclusión Premisas Conclusión V V V V V F F V F V F F F F

Razonamientos. Premisas Conclusión Premisas Conclusión V V V V V F F V F V F F F F 2.3.1.1 Validez e invalidez. Verdad y falsedad es una propiedad de las proposiciones o enunciados. Con las proposiciones o enunciados se pueden construir razonamientos. Pero los razonamientos no son ni

Más detalles

LA ARGUMENTACIÓN: Argumentos deductivos y Lógica

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

Instituto de Ayuda Politécnica

Instituto de Ayuda Politécnica CAPÍTULO 1: LÓGICA Y CONJUNTOS 1.1. PROPOSICIONES. 1. Determine cuál de las siguientes proposiciones son proposiciones. a) El sabor del color azul es c) Disparen al ladrón. dulce. d) x 2 + 2x + 1 = 0.

Más detalles

PROBLEMAS DE LÓGICA. 1. Demuestre las tautologías o teoremas lógicos:

PROBLEMAS DE LÓGICA. 1. Demuestre las tautologías o teoremas lógicos: Universidad Técnica Federico Santa María Departamento de Matemática Campus Santiago PROBLEMAS DE LÓGICA 1. Demuestre las tautologías o teoremas lógicos: (a) {[p (q p)] [(p q) q]} (p q) (b) {[( p q) ( q

Más detalles

Práctica: Lógica Proposicional (Segunda parte)

Práctica: Lógica Proposicional (Segunda parte) UNIVERSIDAD CENTRAL DE VENEZUELA FACULTAD DE CIENCIAS ESCUELA DE COMPUTACIÓN MATEMÁTICAS DISCRETAS I (6106) Práctica: Lógica Proposicional (Segunda parte) Nota Preliminar: Para la realización de esta práctica

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

Lógica. Introducción. Elementos de Programación y Lógica. Unidad 2 - Clase 1

Lógica. Introducción. Elementos de Programación y Lógica. Unidad 2 - Clase 1 Lógica Introducción Elementos de Programación y Lógica Unidad 2 - Clase 1 1 Qué es la lógica? Definición Razonamientos 2 La lógica como descripción del universo 3 La lógica como generador de preguntas

Más detalles

Métodos de Análisis e Interpretación

Métodos de Análisis e Interpretación Análisis e Interpretación de Datos Aplicaciones Empresariales Métodos de Análisis e Interpretación Semana 6 Nelson José Pérez Díaz Lógica La ciencia del razonamiento, del examen, del pensamiento y la inferencia

Más detalles

La Lógica Proposicional

La Lógica Proposicional La Lógica Proposicional 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 o falsa. Las proposiciones

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

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

Elaborar 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 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 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

Negación Funciones de verdad. Raymundo Morado

Negación Funciones de verdad. Raymundo Morado Negación Funciones de verdad Raymundo Morado Atención! Con una sola tarea o examen que recibamos, ya no podemos darles NP; ni siquiera si renuncian a su calificación. No guardaremos calificaciones, ni

Más detalles

LA 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 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 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

El Presente del Indicativo

El Presente del Indicativo El Presente del Indicativo Actividades Reproducibles Guerra Publishing, Inc. San Antonio, Texas CONTENIDO Infinitivos (verbos regulares ar)... 1 Uso del presente del indicativo... 5 Formación del presente

Más detalles

Ejercitación modelo. Lógica

Ejercitación modelo. Lógica Ejercitación modelo Lógica TRABAJO PRÁCTICO N º 1 a. Simbolice los siguientes enunciados indicando con qué letra representa cada enunciado simple (atómico) 1. Uno u otro de los directivos estará presente

Más detalles

El Presente del Indicativo

El Presente del Indicativo El Presente del Indicativo (GPOO12) Actividades Reproducibles Guerra Publishing, Inc. Spring Branch, Texas Notice! Copies of worksheets may be reproduced by the classroom teacher for classroom use only,

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

PRIMERA EVALUACIÓN DE MATEMÁTICAS PARA INGENIERÍA (PARALELO ING- 26M) GUAYAQUIL, 28 DE JUNIO DE 2016 HORARIO: 08H30 10H30 VERSIÓN UNO ( )

PRIMERA EVALUACIÓN DE MATEMÁTICAS PARA INGENIERÍA (PARALELO ING- 26M) GUAYAQUIL, 28 DE JUNIO DE 2016 HORARIO: 08H30 10H30 VERSIÓN UNO ( ) ESCUELA SUPERIOR POLITÉCNICA DEL LITORAL FACULTAD DE CIENCIAS NATURALES Y MATEMÁTICAS DEPARTAMENTO DE MATEMÁTICAS CURSO DE NIVELACIÓN 2016 1S PRIMERA EVALUACIÓN DE MATEMÁTICAS PARA INGENIERÍA (PARALELO

Más detalles

Lógica Matemática. Universidad del Azuay - Marcos Orellana Cordero

Lógica Matemática. Universidad del Azuay - Marcos Orellana Cordero Lógica Matemática Lógica Lógica estudia la forma y la estructura del pensamiento. Lógica es la ciencia que desde el punto de vista puramente formal, estudia la estructura del pensamiento y establece el

Más detalles

MATEMÁTICAS DISCRETAS. UNIDAD1 Lógica y Demostraciones

MATEMÁ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 detalles

Lógica proposicional. Ivan Olmos Pineda

Lógica proposicional. Ivan Olmos Pineda Lógica proposicional Ivan Olmos Pineda Introducción Originalmente, la lógica trataba con argumentos en el lenguaje natural es el siguiente argumento válido? Todos los hombres son mortales Sócrates es hombre

Más detalles

( ) ( ) a ( ) a : Estoy enfermo. b : Tengo una infección. c : Tomo una pastilla.

( ) ( ) a ( ) a : Estoy enfermo. b : Tengo una infección. c : Tomo una pastilla. ESCUELA SUPERIOR POLITÉCNICA DEL LITORAL FACULTAD DE CIENCIAS NATURALES Y MATEMÁTICAS DEPARTAMENTO DE MATEMÁTICAS CURSO DE NIVELACIÓN 2016 1S PRIMERA EVALUACIÓN DE MATEMÁTICAS PARA INGENIERÍA (PARALELO

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

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

TEMA I. INTRODUCCIÓN A LA LÓGICA Y AL RAZONAMIENTO DEDUCTIVO.

TEMA I. INTRODUCCIÓN A LA LÓGICA Y AL RAZONAMIENTO DEDUCTIVO. Lógica y razonamiento. La lógica es el estudio de los métodos que permiten establecer la validez de un razonamiento, entendiendo como tal al proceso mental que, partiendo de ciertas premisas, deriva en

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 Curso ª evaluación 28 - octubre

LÓGICA Curso ª evaluación 28 - octubre 1. Formalizar en el lenguaje de la lógica proposicional (2 puntos) a) Los siguientes enunciados: Si no entrena pero hace estiramientos después del partido, no tendrá una lesión. Pero basta con que no haga

Más detalles

A. El futuro: las formas del futuro (presente futuro) Profesor(a) de Español 3: Profesor(a) de Español 2: Práctica del verano Español 2/3. 1.

A. El futuro: las formas del futuro (presente futuro) Profesor(a) de Español 3: Profesor(a) de Español 2: Práctica del verano Español 2/3. 1. Profesor(a) de Español 3: Profesor(a) de Español 2: Práctica del verano Español 2/3 Verbo Presente Pretérito Imperfecto Condicional Presente Perfecto Escribir - yo Ver tú Buscar - él Jugar - ellos Cruzar

Más detalles

13/04/2013 LOGICA MATEMÁTICA

13/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 detalles

Inferencia Lógica. Salomón Ching Briceño. Licenciado en Matemáticas UNPRG. 18 de marzo de 2011

Inferencia Lógica. Salomón Ching Briceño. Licenciado en Matemáticas UNPRG.  18 de marzo de 2011 Inferencia Lógica Salomón Ching Briceño Licenciado en Matemáticas http://mathsalomon.260mb.com UNPRG 18 de marzo de 2011 Lic. Mat. Salomón Ching Inferencia Lógica Contenido I Lic. Mat. Salomón Ching Inferencia

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

Fase Eliminatoria: Marzo de 2011 BACHILLERATO

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 detalles

P+P C. 1 hora 45 min. 1. Qué es un argumento? Aprender a crear un argumento Aprender a contra-argumentar

P+P C. 1 hora 45 min. 1. Qué es un argumento? Aprender a crear un argumento Aprender a contra-argumentar Por: Ana María Diez Aprender a crear un argumento Aprender a contra-argumentar 1 hora 45 min 1. Qué es un argumento? Los argumentos son importantes porque permiten pensar y repensar un amplio abanico de

Más detalles

Introducción: Proposiciones, argumentos e inferencias. Inferencias deductivas e inductivas. Deducción: Inferencias transitivas (Silogismos lineales)

Introducción: Proposiciones, argumentos e inferencias. Inferencias deductivas e inductivas. Deducción: Inferencias transitivas (Silogismos lineales) Tema 2.- Deducción. Psicología del Pensamiento, Guión del Tema 2 Prof.: Eduardo Madrid Bloque 1: Razonamiento y variedades del pensamiento. Introducción: Proposiciones, argumentos e inferencias. Inferencias

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

INDICADOR DE DESEMPEÑO. Comprende la importancia social, cultural y epistémica de la disciplina filosófica para la historia occidental y mundial.

INDICADOR DE DESEMPEÑO. Comprende la importancia social, cultural y epistémica de la disciplina filosófica para la historia occidental y mundial. INSTITUCION EDUCATIVA LA PRESENTACION NOMBRE ALUMNA: AREA : FILOSOFÌA-SOCIALES ASIGNATURA: FILOSOFÌA DOCENTE: GUSTAVO LÓPEZ ROZO TIPO DE GUIA: CONCEPTUAL PERIODO GRADO N 0 FECHA DURACION 1 9 1 21-01-2018

Más detalles

Introd. al Pens. Científico Nociones básicas de la lógica ClasesATodaHora.com.ar

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

Tema III Silogismos Categóricos

Tema III Silogismos Categóricos 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 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

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

P r o p o s i c i ó n

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

Lógica Proposicional

Lógica Proposicional Lógica Proposicional La lógica se define como la ciencia del razonamiento, o como el estudio de los métodos y principios usados para distinguir el razonamiento correcto del incorrecto. La lógica, está

Más detalles

HIGHER SCHOOL CERTIFICATE EXAMINATION. Spanish Beginners. ( Section I Listening) Transcript

HIGHER SCHOOL CERTIFICATE EXAMINATION. Spanish Beginners. ( Section I Listening) Transcript 2017 HIGHER SCHOOL CERTIFICATE EXAMINATION Spanish Beginners ( Section I Listening) Transcript Familiarisation Text FE FE FE FE Buenos días! Me gustaría alquilar una bicicleta. tenemos varias opciones.

Más detalles

Lógica proposicional 1. Qué es la lógica?

Lógica proposicional 1. Qué es la lógica? Lógica proposicional 1. Qué es la lógica? Juan Carlos León Universidad de Murcia Esquema del tema 1 Lógica proposicional 1. Qué es la lógica? 1.1. Argumentos y consecuencias. Verdad y validez lógica Lo

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

SubTemas. MC Enrique Martinez Peña. Universidad Politecnica de Victoria. Tema 1.2 Teoría de conjuntos difusos

SubTemas. MC Enrique Martinez Peña. Universidad Politecnica de Victoria. Tema 1.2 Teoría de conjuntos difusos 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 1 Tópicos Conjuntos clásicos

Más detalles

DEL CONTRAEJEMPLO MATEMÁTICAS-I GRADO EN INGENIERÍA MULTIMEDIA

DEL CONTRAEJEMPLO MATEMÁTICAS-I GRADO EN INGENIERÍA MULTIMEDIA EJERCICIOS PROPUESTOS ESTUDIO DE LA VALIDEZ DE RAZONAMIENTOS CON LÓGICA DE PRIMER ORDEN USANDO TABLAS DE VERDAD Y MÉTODO DEL CONTRAEJEMPLO MATEMÁTICAS-I. 2011-12 GRADO EN INGENIERÍA MULTIMEDIA Colección

Más detalles

PRIMERA UNIDAD II SEMESTRE FILOSOFIA

PRIMERA 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 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

Completar. Tener. Así lo hacemos Actividades. Complete each sentence with the appropriate form of the verb. 1. (bailar) un tango en el teatro.

Completar. Tener. Así lo hacemos Actividades. Complete each sentence with the appropriate form of the verb. 1. (bailar) un tango en el teatro. Así lo hacemos Actividades Completar Complete each sentence with the appropriate form of the verb. Rosa (bailar) un tango en el teatro. 2. Mis amigos (hablar) francés muy bien. 3. Yo (abrir) la ventana

Más detalles

Lógica proposicional 2. El lenguaje formal

Lógica proposicional 2. El lenguaje formal Lógica proposicional 2. El lenguaje formal Juan Carlos León Universidad de Murcia Esquema del tema 2.1. Operadores y letras proposicionales 2.2. Uso y mención. Lenguaje objeto y metalenguaje 1 Lógica proposicional

Más detalles

EL FUTURO. Por: Mónica Flórez

EL FUTURO. Por: Mónica Flórez EL FUTURO Por: Mónica Flórez EL FUTURO Ir (en presente) + a + Infinitivo Voy a comer con mis amigos el viernes Vamos a visitar a mis padres el fin de semana Yo SINGULAR voy IR PLURAL Nosotros vamos Tú

Más detalles

ANOTACIONES BÁSICAS SOBRE LÓGICA PROPOSICIONAL FILOSOFÍA 1º BACHILLERATO

ANOTACIONES BÁSICAS SOBRE LÓGICA PROPOSICIONAL FILOSOFÍA 1º BACHILLERATO Pág. 1 Lógica Proposicional La lógica proposicional es la más antigua y simple de las formas de lógica. Utilizando una representación primitiva del lenguaje, permite representar y manipular aserciones

Más detalles

Lógica Proposicional

Lógica Proposicional Existen en la realidad un número considerable de problemas con los que una persona se enfrenta y de los cuales se deben deducir ciertos datos para poder resolverlos. Generalmente la forma en que las personas

Más detalles

Lógica proposicional (2/2) Lógica 2017

Lógica proposicional (2/2) Lógica 2017 Lógica proposicional (2/2) Lógica 2017 Instituto de Computación 16 de marzo Instituto de Computación (InCo) Lógica proposicional (2/2) Curso 2017 1 / 1 Lógica Disciplina matemática Disciplina formal: se

Más detalles

Lógica Proposicional MRC

Lógica Proposicional MRC Lógica Proposicional MRC Víctor Peinado v.peinado@filol.ucm.es 30-31 de octubre de 2014 Referencias (Partee, et al., 1990, chap. 6) 1 1 Partee, B.; ter Meulen, A.; Wall, R. Mathematical Methods in Linguistics

Más detalles

Qué haces hoy? NIVEL NÚMERO IDIOMA Principiante A1_1044R_ES Español

Qué haces hoy? NIVEL NÚMERO IDIOMA Principiante A1_1044R_ES Español Qué haces hoy? LECTURA NIVEL NÚMERO IDIOMA Principiante A1_1044R_ES Español Objetivos Leer un texto y comprender sus ideas básicas Practicar el vocabulario y la gramática del texto 2 Qué haces hoy? A las

Más detalles

EL SUBJUNTIVO PARA EXPRESAR DESEOS Y RECOMENDACIONES

EL SUBJUNTIVO PARA EXPRESAR DESEOS Y RECOMENDACIONES EL SUBJUNTIVO PARA EXPRESAR DESEOS Y RECOMENDACIONES Verbos para expresar un deseo querer esperar desear 1 sujeto que expresa un deseo para si mismo: querer/esperar/desear + infinitivo Yo quiero ir al

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

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

PRUEBA DE CONOCIMIENTOS NOMBRE:...FECHA:...

PRUEBA DE CONOCIMIENTOS NOMBRE:...FECHA:... PRUEBA DE CONOCIMIENTOS NOMBRE:...FECHA:... 1.Pedro... chileno. es está estamos 2.Madrid... en el centro de España. es está estamos 3.Tú... muy simpático pero ahora... enfadado. sois / son eres / estás

Más detalles

Lógica Digital Transversal de Programación Básica Proyecto Curricular de Ingeniería de Sistemas

Lógica Digital Transversal de Programación Básica Proyecto Curricular de Ingeniería de Sistemas 1 Lógica Digital 2013 Transversal de Programación Básica Proyecto Curricular de Ingeniería de Sistemas 2 La lógica es una disciplina que estudia la estructura, el fundamento y el uso de las expresiones

Más detalles

EL ADVERBIO Y LAS LOCUCIONES ADVERBIALES

EL ADVERBIO Y LAS LOCUCIONES ADVERBIALES EL ADVERBIO Y LAS LOCUCIONES ADVERBIALES El adverbio es una palabra invariable que complementa a un verbo (llegó ayer), a un adjetivo (llegó muy contento) o a otro adverbio (llegó demasiado tarde), indicando

Más detalles

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

LO QUE SE ENCUENTRA EN NEGRO CORRESPONDE A LAS PREGUNTAS Y LO QUE ESTA EN ROJO CORRESPONDE A LAS RESPUESTAS

LO QUE SE ENCUENTRA EN NEGRO CORRESPONDE A LAS PREGUNTAS Y LO QUE ESTA EN ROJO CORRESPONDE A LAS RESPUESTAS SEMINARIO MENOR DIOCESANO SAN JOSE DE CUCUTA BIMESTRAL III PERIODO Nombre: Grado decimo LO QUE SE ENCUENTRA EN NEGRO CORRESPONDE A LAS PREGUNTAS Y LO QUE ESTA EN ROJO CORRESPONDE A LAS RESPUESTAS 1. Completar

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

Fundamentos básicos de matemáticas: Lógica Proposicional

Fundamentos 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 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

CONSERVACION DE LA VERDAD EN LOS ARGUMENTOS INFORMALES?

CONSERVACION DE LA VERDAD EN LOS ARGUMENTOS INFORMALES? CONSERVACION DE LA VERDAD EN LOS ARGUMENTOS INFORMALES? Ángel Tolaba En esta ponencia trataremos de sugerir una dirección analógica entre el tratamiento que se suele hacer de los razonamientos formales

Más detalles

Inteligencia Artificial

Inteligencia Artificial Inteligencia Artificial Conocimiento y razonamiento 2. Lógica proposicional Dr. Edgard Iván Benítez Guerrero 1 Lenguajes lógicos Los hechos forman parte del mundo, mientras que las sentencias son la representación

Más detalles

ÍNDICE. - Razonando con validez Por qué es importante conocer sobre los razonamientos? - Créditos. - Actividad I: Leamos el periódico!

ÍNDICE. - Razonando con validez Por qué es importante conocer sobre los razonamientos? - Créditos. - Actividad I: Leamos el periódico! ÍNDICE - Razonando con validez Por qué es importante conocer sobre los razonamientos? 3 - Actividad I: Leamos el periódico! 4 - Actividad II: Lleguemos a una conclusión! 5 - Actividad III: Se sigue o no

Más detalles

1. NOCIONES DE LÓGICA Y TEORÍA DE CONJUNTOS

1. NOCIONES DE LÓGICA Y TEORÍA DE CONJUNTOS 1. NOCIONES DE LÓGICA Y TEORÍA DE CONJUNTOS 1.1 Proposiciones 1. Cuál de las siguientes armaciones es verdadera: a) "Quito luz de América", es una proposición. b) 4x 5 = 3, es una proposición. c) El valor

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

INSTITUCIÓN EDUCATIVA INSTITUTO AGRICOLA JORNADA DIURNA GUÍA DE TRABAJO # 1 AREA: MATEMÁTICAS AGISNATURA: ARITMÉTICA GRADO: SEXTO

INSTITUCIÓN EDUCATIVA INSTITUTO AGRICOLA JORNADA DIURNA GUÍA DE TRABAJO # 1 AREA: MATEMÁTICAS AGISNATURA: ARITMÉTICA GRADO: SEXTO AREA: MATEMÁTICAS AGISNATURA: ARITMÉTICA GRADO: SEXTO Instrucciones. Lee cuidadosamente los conceptos, los ejemplos y desarrolla los ejercicios propuestos. No olvides guardar esta guía de trabajo en tu

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

Programa del Curso Lógica para informáticos I Semestre, 2018

Programa del Curso Lógica para informáticos I Semestre, 2018 Programa del Curso Lógica para informáticos I Semestre, 2018 Datos Generales Sigla: IF-1400 Nombre del curso: Lógica para Informáticos Tipo de curso: teórico Número de créditos: 2 Número de horas semanales

Más detalles

Tema 3: Demostraciones proposicionales

Tema 3: Demostraciones proposicionales Razonamiento Automático Curso 2000 200 Tema 3: Demostraciones proposicionales José A. Alonso Jiménez Miguel A. Gutiérrez Naranjo Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad

Más detalles

UNIVERSIDAD NACIONAL DEL NORDESTE Facultad de Ciencias Económicas. Prof./Esp. Norma R. García

UNIVERSIDAD NACIONAL DEL NORDESTE Facultad de Ciencias Económicas. Prof./Esp. Norma R. García UNIVERSIDAD NACIONAL DEL NORDESTE Facultad de Ciencias Económicas Prof./Esp. Norma R. García UNIDAD II: CIENCIA Y LENGUAJE TEMA: Lenguaje Objeto y Metalenguaje. Lógica y Lenguaje. Sentencias y Argumentación.

Más detalles

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

Hoy me he levantado muy temprano...

Hoy me he levantado muy temprano... 1 Hoy me he levantado muy temprano... Usos del pretérito perfecto reflexiona Imagina que un amigo tuyo te está contando sus actividades de hoy: Me he levantado muy temprano, a las 7... He desayunado muy

Más detalles

Tema IV Enunciados Compuestos, Silogismos Disyuntivos e Hipotéticos

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