Métodos de Análisis e Interpretación

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

Download "Métodos de Análisis e Interpretación"

Transcripción

1 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 La lógica permite analizar una afirmación o un razonamiento y determinar si es correcto o no. Vale la pena mencionar un par de cosas que la lógica no es. En primer lugar, el razonamiento lógico no es una ley absoluta que gobierne el universo. Muchas veces en el pasado, la gente ha llegado a la conclusión que por que algo es lógicamente imposible (dado el avance de la ciencia en ese momento), debe ser imposible y punto. En segundo lugar, la lógica no es un conjunto de reglas que gobiernan el comportamiento humano. Los seres humanos pueden tener metas lógicamente conflictivas. Por ejemplo: Juan quiere hablar con la persona que esté a cargo. La persona que está a cargo es Esteban. Luego, Juan quiere hablar con Esteban. 1

2 Inferencia Razonamiento Paso a Paso Silogismos Los razonamientos deductivos son llamados también silogismos Es una serie de afirmaciones conectadas para establecer una proposición definida (Monty Python) Aristóteles definió el silogismo como un argumento en el cual, establecidas ciertas cosas, resulta necesariamente de ellas, por ser lo que son, otra cosa distinta de las antes establecidas. Existen varios tipos de silogismos. Trataremos aquí solamente el silogismo deductivo. Los silogismos deductivos son vistos como los más precisos y más persuasivos, proveen evidencia terminante de su conclusión, y pueden ser válidos o inválidos. Los silogismos deductivos tienen tres etapas: premisas, inferencia y conclusión. Sin embargo, antes de considerar en detalle esas etapas, debemos tratar sobre los elementos constitutivos de un silogismo deductivo: las proposiciones 2

3 Proposiciones Una proposición es una afirmación que puede ser verdadera o falsa. La proposición es la definición, el significado de la afirmación; no el arreglo preciso de las palabras para transmitir ese significado. Por ejemplo, "Existe un número primo par mayor que dos" es una proposición (falsa, en este caso). "Un número par y primo que sea mayor que dos existe" es la misma preposición, reformulada. Desafortunadamente, es muy fácil cambiar sin intención el significado de una afirmación reformulándola. Premisas Un silogismo deductivo requiere siempre un número de hipótesis esenciales. Estas son llamadas premisas y son las hipótesis en las cuales están construidas las afirmaciones, o para decirlo de otra manera, las razones para aceptar el silogismo o razonamiento. Se debe siempre expresar las premisas de un silogismo explícitamente La palabra "obviamente" suele ser vista con suspicacia. Ocasionalmente se usa para convencer a la gente de aceptar afirmaciones falsas, antes que admitir que no entienden la razón por la cual algo es "obvio". 3

4 Inferencia Una vez que se acuerden las premisas, el razonamiento procede a un proceso "paso a paso" llamado inferencia. En una inferencia, se comienza con una o más proposiciones que han sido aceptadas. Luego se usan éstas para llegar a una nueva proposición. Si la inferencia es válida, la proposición resultante también. Se puede usar la nueva proposición para otras inferencias con posterioridad. Inicialmente, se pueden inferir solamente de las premisas del razonamiento. Pero a medida que el razonamiento avanza, el número de afirmaciones disponibles para inferir aumenta. Existen varias clases de inferencias válidas (y algunas inválidas ), que veremos más adelante en este documento. Los pasos de la inferencia suelen ser identificados por palabras como "luego...", o "implica que...". Conclusión Finalmente se llegará a una proposición que es la conclusión de un razonamiento o silogismo, el resultado que usted está tratando de demostrar. La conclusión es el resultado del último paso de la inferencia. Es solamente una conclusión en el contexto de un razonamiento en particular, pudiendo ser una premisa o hipótesis en otro razonamiento 4

5 La implicación en detalle Se puede construir un razonamiento válido a partir de premisas verdaderas y llegar a una conclusión verdadera. También se puede construir un razonamiento válido a partir de premisas falsas y llegar a una conclusión falsa. La parte difícil es que se pueden comenzar con premisas falsas, proceder por medio de la inferencia válida y alcanzar una conclusión verdadera. Por ejemplo: Premisa: Todos los peces viven en el océano. (falso) Premisa: Las nutrias marinas son peces. (falso) Conclusión: Las nutrias marinas viven en el océano. (verdadero) Se pueden resumir estos resultados en una "tabla de verdad" para las implicaciones. El símbolo "=>" denota implicación, "A" es la premisa, "B" es la conclusión. Tabla de verdad para implicaciones Si las premisas son falsas y la inferencia es válida, la conclusión puede ser verdadera o falsa. (líneas 1 y 2) Si las premisas son verdaderas y la conclusión es falsa, la inferencia es inválida. (Línea 3) Si las premisas son verdaderas y la inferencia es válida, la conclusión deberá ser verdadera. (Línea 4) 5

6 El silogismo categórico es un razonamiento compuesto por tres proposiciones categóricas y compuesto de tres términos, dispuestos de tal modo que dos de ellos (P y S) se relacionan en las premisas con un tercero (M) y de esta relación surge en la conclusión una relación entre los primeros términos. Si afirmamos: Todo artista es sensible Los escultores son artistas Todos los escultores son sensibles Todo M es P Todo S es M Todo S es P Encontramos la siguiente estructura: Tres términos, que reciben diferentes nombres: el término predicado de la conclusión P: término mayor el término sujeto de la conclusión S: término menor el término qué no aparece en la conclusión y oficia de nexo M: término medio En la forma clásica se ordena el silogismo de la siguiente forma: Premisa mayor (la que contiene el término P) Premisa menor (la que contiene el término S) Para que un silogismo sea válido debe cumplir con ciertas condiciones. La forma más tradicional de formularlas es a través de ocho reglas, cuatro referidas a los términos y cuatro a las premisas. 1. Todo silogismo debe tener tres términos: Esta regla se transgrede cuando en el silogismo encontramos tres palabras pero cuatro términos (o un término equívoco). Por ejemplo: Toda llama quema La llama es un animal Algún animal quema Donde el término llama es equívoco. 6

7 2. Ningún término debe aparecer en la conclusión con mayor extensión que en las premisas En el ejemplo que sigue: Todo pez es vertebrado Todo pez es un animal acuático Todo animal acuático es vertebrado El término animal acuático está tomado en forma particular en la segunda premisa (predicado de una afirmativa) y en la conclusión en toda su extensión (sujeto de una proposición universal). 3. El término medio no debe figurar en la conclusión Ya que es necesario para que haya un silogismo. Napoleón era pequeño Napoleón era general Napoleón era pequeño general 7

8 4. El término medio debe estar tomado, al menos una vez, en toda su extensión El siguiente silogismo no cumple con esta regla: Todo perro es un animal Todo gato es un animal Todo perro es gato El término medio animal es en ambas premisas predicado de una universal, por lo tanto, en ambas está tomado en parte de su extensión. Las reglas anteriores se referían a los términos. Veamos ahora las referidas a las proposiciones. 5. De dos premisas negativas no se sigue conclusión De dos términos que no posean relación con un tercero no se puede deducir que tengan o no relación entre sí. Viola la regla el siguiente silogismo: Ningún norteamericano es argentino Ningún neoyorquino es argentino Ningún neoyorquino es norteamericano. 8

9 6. De dos premisas afirmativas no se sigue conclusión negativa Si en las premisas se establece la relación de dos términos con un tercero solo cabe afirma la relación entre ambos. El silogismo que sigue: Todo argentino es americano Todo salteño es argentino Algún salteño no es americano Viola la presente regla. 7.- La conclusión sigue siempre la parte más débil: la particular respecto a la universal y la negativa respecto a la afirmativa. Es decir, si hay una premisa particular, la conclusión debe ser particular, y si hay una premisa negativa la conclusión debe ser negativa. Ningún amigo de José es japonés Todo alumno de Quinto es amigo de José Todo alumno de Quinto es japonés. La primera premisa es negativa, por lo tanto la conclusión debe ser negativa. 9

10 8.- De dos premisas particulares no se sigue conclusión El siguiente silogismo viola esta regla: Algún hombre es europeo Algún hombre es americano Algún americano es europeo En este silogismo el término medio hombre no se toma en ninguna premisa en toda su extensión. Podemos descubrir así que las reglas son redundantes, pero son útiles para verificar la validez o no de los silogismos. 10

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

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

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

Interpretación y Argumentación Jurídica

Interpretación y Argumentación Jurídica Interpretación y Argumentación Jurídica INTERPRETACIÓN Y ARGUMENTACIÓN JURÍDICA 1 Sesión No. 10 Nombre: La Argumentación Jurídica Contextualización Como ya se ha visto, un argumento es una afirmación que

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

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

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

Una proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos).

Una proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos). Lógica intuitiva Una proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos). A : Las águilas vuelan B : El cielo es rosa C : No existe vida extraterrestre D : 5 < 3 E : Algunos

Más detalles

Filosofía de la ciencia: inducción y deducción. Metodología I. Los clásicos Prof. Lorena Umaña

Filosofía de la ciencia: inducción y deducción. Metodología I. Los clásicos Prof. Lorena Umaña Filosofía de la ciencia: inducción y deducción Metodología I. Los clásicos Prof. Lorena Umaña Filosofía de la ciencia: noción de argumento La filosofía de la ciencia debe considerarse como una de las corrientes

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

La forma general de toda proposición categórica es la siguiente: cuantificador + sujeto + cópula + predicado

La forma general de toda proposición categórica es la siguiente: cuantificador + sujeto + cópula + predicado 1.5 Proposiciones categóricas Las proposiciones categóricas son aquéllas que hacen afirmaciones incondicionales. Por ejemplo, todos los hombres son mortales es una proposición categórica, mientras que

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 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 6: Teoría Semántica

Tema 6: Teoría Semántica Tema 6: Teoría Semántica Sintáxis Lenguaje de de las las proposiciones Lenguaje de de los los predicados Semántica Valores Valores de de verdad verdad Tablas Tablas de de verdad verdad Tautologías Satisfacibilidad

Más detalles

yo sé que el sol saldrá mañana, por que lo he visto salir todos los días

yo sé que el sol saldrá mañana, por que lo he visto salir todos los días 1. - Lea lo siguiente: yo sé que el sol saldrá mañana, por que lo he visto salir todos los días El enunciado anterior es un ejemplo de razonamiento de tipo A) Silogístico B) Inductivo C) Analógico D) Intuitivo

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

Apuntes de Lógica Proposicional

Apuntes de Lógica Proposicional Apuntes de Lógica Proposicional La lógica proposicional trabaja con expresiones u oraciones a las cuales se les puede asociar un valor de verdad (verdadero o falso); estas sentencias se conocen como sentencias

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

Lógica Proposicional. Guía Lógica Proposicional. Tema III: Cuantificadores

Lógica Proposicional. Guía Lógica Proposicional. Tema III: Cuantificadores Guía Lógica Proposicional Tema III: Cuantificadores 1.7.2. CUANTIFICADORES Los cuantificadores permiten afirmaciones sobre colecciones enteras de objetos en lugar de tener que enumerar los objetos por

Más detalles

REGLAS Y LEYES LOGICAS

REGLAS Y LEYES LOGICAS LOGICA II REGLAS Y LEYES LOGICAS Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente ciertos enunciados a partir de otros.

Más detalles

RAZONAMIENTO LÓGICO PARA LA ARGUMENTACIÓN JURÍDICA

RAZONAMIENTO LÓGICO PARA LA ARGUMENTACIÓN JURÍDICA ESCUELA DEL MINISTERIO PÚBLICO Dr. Gonzalo Ortiz de Zevallos Roedel RAZONAMIENTO LÓGICO PARA LA ARGUMENTACIÓN JURÍDICA Dr. Luis Alberto Pacheco Mandujano Gerente Central de la Escuela del Ministerio Público

Más detalles

encontramos dos enunciados. El primero (p) nos afirma que Pitágoras era griego y el segundo (q) que Pitágoras era geómetra.

encontramos dos enunciados. El primero (p) nos afirma que Pitágoras era griego y el segundo (q) que Pitágoras era geómetra. Álgebra proposicional Introducción El ser humano, a través de su vida diaria, se comunica con sus semejantes a través de un lenguaje determinado (oral, escrito, etc.) por medio de frases u oraciones. Estas

Más detalles

Examen final de Lógica y argumentación (Fecha: xxxxxxxx)

Examen final de Lógica y argumentación (Fecha: xxxxxxxx) 1 Examen final de Lógica y argumentación (Fecha: xxxxxxxx) Nombre: Código: Profesor y grupo: 1. 1 (6%) Construya un silogismo de forma: oao-3, con estas especificaciones: Término mayor: Rascacielos Término

Más detalles

LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL QUE ES LA LÓGICA? El sentido ordinario de la palabra lógica se refiere a lo que es congruente, ordenado, bien estructurado. Lo ilógico es lo mismo que incongruente, desordenado, incoherente.

Más detalles

1. A qué siglo y a qué movimiento histórico pertenece Kant? 2. Cuáles son las cuatro preguntas que se propone contestar Kant con su filosofía?

1. A qué siglo y a qué movimiento histórico pertenece Kant? 2. Cuáles son las cuatro preguntas que se propone contestar Kant con su filosofía? EXAMEN DE KANT 1 1. EXAMEN DE KANT 1. A qué siglo y a qué movimiento histórico pertenece Kant? 2. Cuáles son las cuatro preguntas que se propone contestar Kant con su filosofía? 3. Cuál es el problema

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

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

MÉTODOS DE LA INVESTIGACIÓN. Víctor Hugo Abril, Ph. D.

MÉTODOS DE LA INVESTIGACIÓN. Víctor Hugo Abril, Ph. D. MÉTODOS DE LA INVESTIGACIÓN Víctor Hugo Abril, Ph. D. 1 FRASE DE REFLEXIÓN "Quien estudia y trabaja sin método es como el navegante sin brújula" (Aura Babaresco de Prieto) 2 DEFINICIÓN DE MÉTODO El término

Más detalles

INTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN

INTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN INTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN Referencias: Inteligencia Artificial Russell and Norvig Cap.6. Artificial Intellingence Nils Nilsson Ch.4

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

Eje 2. Razonamiento lógico matemático

Eje 2. Razonamiento lógico matemático Razonamiento deductivo e inductivo La historia de las matemáticas se remonta al antiguo Egipto y Babilonia. Ante la necesidad de resolver problemas a través de errores y victorias, estas culturas lograron

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

Epistemología y Evolución del Pensamiento Científico Cuadernillo para el cursado

Epistemología y Evolución del Pensamiento Científico Cuadernillo para el cursado Epistemología y Evolución del Pensamiento Científico Cuadernillo para el cursado 2015 Universidad Nacional de Tucumán Fac. Bioquímica Química y Farmacia Profesores: Titular: Dra. María Natalia Zavadivker

Más detalles

Conjuntos, relaciones y funciones Susana Puddu

Conjuntos, relaciones y funciones Susana Puddu Susana Puddu 1. Repaso sobre la teoría de conjuntos. Denotaremos por IN al conjunto de los números naturales y por ZZ al de los enteros. Dados dos conjuntos A y B decimos que A está contenido en B o también

Más detalles

Ejercicios de Lógica Proposicional *

Ejercicios de Lógica Proposicional * Ejercicios de Lógica Proposicional * FernandoRVelazquezQ@gmail.com Notación. El lenguaje proposicional que hemos definido, aquel que utiliza los cinco conectivos,,, y, se denota como L {,,,, }. Los términos

Más detalles

El método deductivo: es aquel que parte de datos generales aceptados como validos para llegar a una conclusión de tipo particular.

El método deductivo: es aquel que parte de datos generales aceptados como validos para llegar a una conclusión de tipo particular. Que es el conocimiento? La metodología Dicho determino esta compuesto del vocablo método y el sustantivo griego logos que significa juicio, estudio, esta palabra se puede definir como La descripción, el

Más detalles

EL TEXTO ARGUMENTATIVO

EL TEXTO ARGUMENTATIVO EL TEXTO ARGUMENTATIVO El texto argumentativo es aquel que tiene como finalidad defender una opinión o convencernos de una idea. Para ello utilizará distintos razonamientos lógicos, llamados argumentos,

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

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

FAQ sobre las implicaciones del Real Decreto 56/2016 de Eficiencia Energética

FAQ sobre las implicaciones del Real Decreto 56/2016 de Eficiencia Energética FAQ sobre las implicaciones del Real Decreto 56/2016 de Eficiencia Energética 1. Qué tipo de empresas están obligadas a cumplir el requisito de realizar una auditoría energética cada cuatro años según

Más detalles

Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos

Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo Complementos Contenidos Clase 1: Elementos de lógica: Conectivos, tablas de verdad, tautologías y contingencias.

Más detalles

Inteligencia en Redes de Comunicaciones. Razonamiento lógico. Julio Villena Román.

Inteligencia en Redes de Comunicaciones. Razonamiento lógico. Julio Villena Román. Inteligencia en Redes de Comunicaciones Razonamiento lógico Julio Villena Román jvillena@it.uc3m.es Índice La programación lógica Lógica de predicados de primer orden Sistemas inferenciales IRC 2009 -

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 Definición semántica de las proposiciones 3 Diagrama de valores de certeza 4 Evaluación de fórmulas.

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

JUSTIFICACION DE LAS DECISIONES JUDICIALES

JUSTIFICACION DE LAS DECISIONES JUDICIALES JUSTIFICACION DE LAS DECISIONES JUDICIALES Según Robert S. Summers Atienza, Manuel. LAS RAZONES DEL DERECHO. Teorías de la Argumentación Jurídica. UNAM. México. 2008 Robert S. Summers es licenciado en

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

ÍNDICE PRIMERA PARTE METODOLOGÍA JURÍDICA

ÍNDICE PRIMERA PARTE METODOLOGÍA JURÍDICA ÍNDICE INTRODUCCIÓN... 15 PRIMERA PARTE METODOLOGÍA JURÍDICA INTRODUCCIÓN... 21 CAPÍTULO I. LA APLICACIÓN DEL DERECHO. CASOS FÁCILES, CASOS DIFÍCILES Y JUSTIFICACIÓN DE LA RESPUESTA... 25 1. INTRODUCCIÓN...

Más detalles

Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción Curso 0: Matemáticas y sus Aplicaciones Tema 5. Lógica y Formalismo Matemático Leandro Marín Dpto. de Matemática Aplicada Universidad de Murcia 2012 1 Proposiciones y Conectores Lógicos 2 Tablas de Verdad

Más detalles

El Pensamiento Crítico

El Pensamiento Crítico El Pensamiento Crítico Qué es el Pensamiento Crítico? Orígenes El PC no es una práctica nueva. Puede empezar a ubicarse con los griegos: Sócrates, Platón, Aristóteles. El concepto como tal se define hacia

Más detalles

RESPUESTAS REPARTIDO 3 PARA ESCRITO TEORICO Diego Danieli 2IA UTU BUCEO AXIOMAS - TEOREMAS CÓMO SE CONSTRUYE LA GEOMETRIA MODERNA?

RESPUESTAS REPARTIDO 3 PARA ESCRITO TEORICO Diego Danieli 2IA UTU BUCEO AXIOMAS - TEOREMAS CÓMO SE CONSTRUYE LA GEOMETRIA MODERNA? AXIOMAS - TEOREMAS CÓMO SE CONSTRUYE LA GEOMETRIA MODERNA? FUNDAMENTOS 1 Comenzó siendo un conjunto de reglas y conocimientos obtenidos por la experiencia, usados por los constructores y medidores de terrenos.

Más detalles

Proposicional. Curso Mari Carmen Suárez de Figueroa Baonza

Proposicional. Curso Mari Carmen Suárez de Figueroa Baonza Semántica Proposicional Curso 2014 2015 Mari Carmen Suárez de Figueroa Baonza mcsuarez@fi.upm.es Contenidos Introducción Interpretación de FBFs proposicionales Validez Satisfacibilidad Validez y Satisfacibilidad

Más 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

COMO REALIZAR CONSULTAS CON EL CONSTRUCTOR DE GEOCONSULTAS DEL SIG GUADUA.

COMO REALIZAR CONSULTAS CON EL CONSTRUCTOR DE GEOCONSULTAS DEL SIG GUADUA. 1 COMO REALIZAR CONSULTAS CON EL CONSTRUCTOR DE GEOCONSULTAS DEL SIG GUADUA. Introducción El constructor de geoconsultas es una herramienta para usuarios un poco más avanzados y con conocimientos básicos

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

Tª REALIDAD (ONTOLOGÍA-METAFÍSICA)

Tª REALIDAD (ONTOLOGÍA-METAFÍSICA) Tª REALIDAD (ONTOLOGÍA-METAFÍSICA) PLATÓN - Quiere solucionar la polémica Heráclito - Parménides sobre Qué es lo real? (Devenir) - (Ser) Solución: Acepta el Ser de Parménides pero intenta explicar el movimiento

Más detalles

Tema 9: Cálculo Deductivo

Tema 9: Cálculo Deductivo Facultad de Informática Grado en Ingeniería Informática Lógica PARTE 2: LÓGICA DE PRIMER ORDEN Tema 9: Cálculo Deductivo Profesor: Javier Bajo jbajo@fi.upm.es Madrid, España 24/10/2012 Introducción a la

Más detalles

La Lógica. Grado Décimo GRUPO CUATRO. Ficha No. 003 MARZO 3 de 2016

La Lógica. Grado Décimo GRUPO CUATRO. Ficha No. 003 MARZO 3 de 2016 La Lógica Grado Décimo GRUPO CUATRO 1 PUEDE PROBARSE TODO? El ideal de un método estrictamente científico de la matemática, que he tratado de realizar aquí, y que bien pudiera ser denominado euclídeo,

Más detalles

Lógica Matemática, Sistemas Formales, Cláusulas de Horn

Lógica Matemática, Sistemas Formales, Cláusulas de Horn Lógica Matemática, Sistemas Formales, Cláusulas de Horn Lic. José Manuel Alvarado La lógica se ocupa de las argumentaciones válidas. Las argumentaciones ocurren cuando se quiere justificar una proposición

Más detalles

PENSAMIENTO CRÍTICO Qué es? capacidad de recopilar y evaluar la información lógico, equilibrado y reflexivo

PENSAMIENTO CRÍTICO Qué es? capacidad de recopilar y evaluar la información lógico, equilibrado y reflexivo PENSAMIENTO CRÍTICO Qué es? El pensamiento crítico es la capacidad de recopilar y evaluar la información de un modo lógico, equilibrado y reflexivo, para ser capaces de llegar a conclusiones que están

Más detalles

Tema 7. El problema de los condicionales

Tema 7. El problema de los condicionales Tema 7. El problema de los condicionales (Capítulo 3 de S. Read, Thinking about Logic, pp. 64-95) Cuál es el problema que plantean a la lógica los enunciados condicionales? El de formular sus condiciones

Más detalles

TEXTO DE SANTO TOMÁS

TEXTO DE SANTO TOMÁS TEXTO DE SANTO TOMÁS Suma Teológica El texto propuesto para analizas es una cuestión de la Suma Teológica, esta obra es un tratado de teología, redactado en latín, escrito por Santo Tomás en el SXIII,

Más detalles

Más Aventuras en la Isla de los Caballeros y Villanos. Acertijos Lógicos en honor de José Antonio Robles. Axel Arturo Barceló Aspeitia

Más Aventuras en la Isla de los Caballeros y Villanos. Acertijos Lógicos en honor de José Antonio Robles. Axel Arturo Barceló Aspeitia Más Aventuras en la Isla de los Caballeros y Villanos Acertijos Lógicos en honor de José Antonio Robles Axel Arturo Barceló Aspeitia El escenario es el mismo que los clásicos acertijos de caballeros y

Más detalles

UNIVERSIDAD CONTINENTAL DE CIENCIAS E INGENIERÍA FACULTAD DE CONTABILIDAD Y FINANZAS NATURALEZA DE LA TECNOLOGIA Y EL CONOCIMIENTO CIENTIFICO

UNIVERSIDAD CONTINENTAL DE CIENCIAS E INGENIERÍA FACULTAD DE CONTABILIDAD Y FINANZAS NATURALEZA DE LA TECNOLOGIA Y EL CONOCIMIENTO CIENTIFICO UNIVERSIDAD CONTINENTAL DE CIENCIAS E INGENIERÍA FACULTAD DE CONTABILIDAD Y FINANZAS NATURALEZA DE LA Y EL CONOCIMIENTO CIENTIFICO CATEDRÁTICO : CPC JOSE LUIS CAHUANTICO SALAS ASIGNATURA : METODO DE INVESTIGACIÓN

Más detalles

Derivadas Parciales (parte 2)

Derivadas Parciales (parte 2) 40 Derivadas Parciales (parte 2) Ejercicio: Si donde y. Determinar Solución: Consideraremos ahora la situación en la que, pero cada una de las variables e es función de dos variables y. En este caso tiene

Más detalles

SESIÓN 14 DERIVADAS SUCESIVAS DE UNA FUNCION, DE MÁXIMOS Y MÍNIMOS Y LA CONCAVIDAD DE UNA CURVA APLICANDO EL CRITERIO DE LA SEGUNDA DERIVADA

SESIÓN 14 DERIVADAS SUCESIVAS DE UNA FUNCION, DE MÁXIMOS Y MÍNIMOS Y LA CONCAVIDAD DE UNA CURVA APLICANDO EL CRITERIO DE LA SEGUNDA DERIVADA SESIÓN 14 DERIVADAS SUCESIVAS DE UNA FUNCION, DE MÁXIMOS Y MÍNIMOS Y LA CONCAVIDAD DE UNA CURVA APLICANDO EL CRITERIO DE LA SEGUNDA DERIVADA I. CONTENIDOS: 1. Derivadas sucesivas de una función 2. Concavidad

Más detalles

Colegio Universitario Boston

Colegio Universitario Boston Función Lineal. Si f función polinomial de la forma o, donde y son constantes reales se considera una función lineal, en esta nos la pendiente o sea la inclinación que tendrá la gráfica de la función,

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

Técnicas básicas de redacción Autor: Abraham Omonte Rivero

Técnicas básicas de redacción Autor: Abraham Omonte Rivero Técnicas básicas de redacción Autor: Abraham Omonte Rivero 1 El curso presenta técnicas básicas para lograr una redacción más clara y precisa. Hace un breve resumen de las categorías gramaticales, y hace

Más detalles

Algoritmos y Estructura de Datos I

Algoritmos y Estructura de Datos I Clase práctica de Especificación - Lógica proposicional Viernes 20 de Marzo de 2015 Menú del día Fórmulas bien formadas Tablas de verdad Tautologías, Contingencias y Contradicciones Relación de fuerza

Más detalles

Más sobre Leyes de implicación

Más sobre Leyes de implicación Más sobre Leyes de implicación Dilema constructivo. Se abrevia d.c. Se considera que si hay una disyunción que contiene los antecedentes de dos condicionales, la conclusión será la disyunción de los consecuentes.

Más detalles

Tipos de: ARGUMENTOS

Tipos de: ARGUMENTOS Tipos de: ARGUMENTOS CLASES Y TIPOS DE ARGUMENTACIÓN Las clases de argumentación que existen son las siguientes: 1.- La argumentación escrita. Es la que se elabora mediante documentos y que permite construir

Más detalles

ISO 9001 Auditing Practices Group Guidance on:

ISO 9001 Auditing Practices Group Guidance on: International Organization for Standardization International Accreditation Forum ISO 9001 Auditing Practices Group Guidance on: Auditando el proceso de Diseño y Desarrollo 1. Introducción El objetivo de

Más detalles

Sesión 13. Introducción a la Prueba de Hipótesis. Estadística II Equipo Docente: Iris Gallardo - Andrés Antivilo Francisco Marro

Sesión 13. Introducción a la Prueba de Hipótesis. Estadística II Equipo Docente: Iris Gallardo - Andrés Antivilo Francisco Marro Sesión 13 Introducción a la Prueba de Hipótesis Introducción ( Porqué debemos realizar pruebas de hipótesis?) El objetivo último del análisis de datos es el de extraer conclusiones de tipo general a partir

Más detalles

UNIDAD 8 LA FILOSOFÍA EMPIRISTA

UNIDAD 8 LA FILOSOFÍA EMPIRISTA UNIDAD 8 LA FILOSOFÍA EMPIRISTA ÍNDICE EMPIRISMO LA NUEVA CIENCIA Y SU INFLUENCIA EN LA FILOSOFÍA THOMAS HOBBES (1588 1679) FILOSOFÍA POLÍTICA JOHN LOCKE (1632 1704) FILOSOFÍA POLÍTICA GEORGE BERKELEY

Más detalles

SESIÓN 11 DERIVACIÓN DE FUNCIONES TRIGONOMETRICAS INVERSAS

SESIÓN 11 DERIVACIÓN DE FUNCIONES TRIGONOMETRICAS INVERSAS SESIÓN 11 DERIVACIÓN DE FUNCIONES TRIGONOMETRICAS INVERSAS I. CONTENIDOS: 1. Función inversa, conceptos y definiciones 2. Derivación de funciones trigonométricas inversas 3. Ejercicios resueltos 4. Estrategias

Más detalles

EPISTEMOLOGIA I CORRIENTES EPISTEMOLOGICAS

EPISTEMOLOGIA I CORRIENTES EPISTEMOLOGICAS EPISTEMOLOGIA I CORRIENTES EPISTEMOLOGICAS La idea de Revolución Científica interpretada a la luz de los paradigmas. La integración del conocimiento científico y la toma de posturas para el esclarecimiento

Más detalles

Fundamentos del Pensamiento Científico y Epistemología

Fundamentos del Pensamiento Científico y Epistemología UNIERSIDAD DE MENDOZA ACULTAD DE CIENCIAS DE LA SALUD LICENCIATURA EN PSICOLOGÍA - 2013 Prof. Laura Aldana Contardi undamentos del Pensamiento Científico y Epistemología 1 Segundo Trabajo Práctico: Corrientes

Más detalles

Funciones de Clase C 1

Funciones de Clase C 1 Capítulo 7 Funciones de Clase C 1 Vamos a considerar ahora la extensión a varias variables del concepto de función de clase C 1. Cada vez que establezcamos una propiedad de las funciones diferenciables,

Más detalles

EL PENSAMIENTO CRÍTICO Y CREATIVO A LA HORA DE ELABORAR

EL PENSAMIENTO CRÍTICO Y CREATIVO A LA HORA DE ELABORAR EL PENSAMIENTO CRÍTICO Y CREATIVO A LA HORA DE ELABORAR EL CURRICULUM BUAP DHPC ELABORADO POR: FLORES ZAMORA ALEJANDRA FABIOLA Introducción Sin duda alguna, hablar de los tipos de pensamiento que existen

Más detalles

LA COMUNIDAD DE INDAGACIÓN COMO ESTRATEGIA DIDÁCTICA EN LA EDUCACIÓN MEDIA SUPERIOR: UNA APROXIMACIÓN PRÁCTICA

LA COMUNIDAD DE INDAGACIÓN COMO ESTRATEGIA DIDÁCTICA EN LA EDUCACIÓN MEDIA SUPERIOR: UNA APROXIMACIÓN PRÁCTICA LA COMUNIDAD DE INDAGACIÓN COMO ESTRATEGIA DIDÁCTICA EN LA EDUCACIÓN MEDIA SUPERIOR: UNA APROXIMACIÓN PRÁCTICA De: Lipman Juan José Jiménez Ríos rios42@hotmail.com La filosofía para niños de Lipman: características

Más detalles

Lenguaje natural y artificial. Constituyentes

Lenguaje natural y artificial. Constituyentes Lenguaje natural y artificial. Constituyentes 1) Lenguaje natural y artificial - Natural: Aquel lenguaje que sirve para comunicarnos con otras personas. Ej. Lengua materna - Artificial: Creados expresamente

Más detalles

Semana03[1/17] Funciones. 16 de marzo de Funciones

Semana03[1/17] Funciones. 16 de marzo de Funciones Semana03[1/17] 16 de marzo de 2007 Introducción Semana03[2/17] Ya que conocemos el producto cartesiano A B entre dos conjuntos A y B, podemos definir entre ellos algún tipo de correspondencia. Es decir,

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

Teoría de Números. Divisibilidad. Olimpiada de Matemáticas en Tamaulipas

Teoría de Números. Divisibilidad. Olimpiada de Matemáticas en Tamaulipas Teoría de Números Divisibilidad Olimpiada de Matemáticas en Tamaulipas 1. Introducción Divisibilidad es una herramienta de la aritmética que nos permite conocer un poco más la naturaleza de un número,

Más detalles

Motivaciones históricas en la construcción de lógicas multivaluadas. Susan Haack, Filosofía de las lógicas (1978), capítulo 11

Motivaciones históricas en la construcción de lógicas multivaluadas. Susan Haack, Filosofía de las lógicas (1978), capítulo 11 Motivaciones históricas en la construcción de lógicas multivaluadas Susan Haack, Filosofía de las lógicas (1978), capítulo 11 Repaso Las lógicas multivaluadas son aquellas en donde hay más de dos valores

Más detalles

Diferenciabilidad en un intervalo

Diferenciabilidad en un intervalo Diferenciabilidad en un intervalo Ahora que conocemos cómo calcular la derivada de una función en un punto conviene hacer la pregunta más general: «Cómo podemos saber si una derivada se puede derivar en

Más detalles

10.4 Sistemas de ecuaciones lineales

10.4 Sistemas de ecuaciones lineales Programa Inmersión, Verano 2016 Notas escritas por Dr. M Notas del cursos. Basadas en los prontuarios de MATE 001 y MATE 02 Clase #11: martes, 14 de junio de 2016. 10.4 Sistemas de ecuaciones lineales

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

Creencia. Tener preferencia por algo Tener una convicción Tener una opinión

Creencia. Tener preferencia por algo Tener una convicción Tener una opinión Creencia Tener preferencia por algo Tener una convicción Tener una opinión Creencia Una creencia siempre puede ser errónea, por más elementos que se tengan para afirmarla. Toda creencia implica la aceptación

Más detalles

Preguntas importantes del examen GED

Preguntas importantes del examen GED Preguntas importantes del examen GED Esta guía hace énfasis y provee ejemplos de las preguntas que frecuentemente se contestan de manera equivocada y que representan una gran diferencia para aprobar el

Más detalles

D E PA R TA M E N TO D E D E S A R R O L LO H U M A N O. El Ensayo. Programa de apoyo a la permanencia: Mi proyecto de vida Uniatlántico

D E PA R TA M E N TO D E D E S A R R O L LO H U M A N O. El Ensayo. Programa de apoyo a la permanencia: Mi proyecto de vida Uniatlántico D E PA R TA M E N TO D E D E S A R R O L LO H U M A N O El Ensayo Programa de apoyo a la permanencia: Mi proyecto de vida Uniatlántico Cómo escribir un ensayo? El ensayo es una composición en prosa, de

Más detalles

L OGICA Proposiciones

L OGICA Proposiciones CAPíTULO 4 LÓGICA Uno de los procesos por los cuales adquirimos conocimiento es el proceso de razonamiento. A su vez, hay una variedad de modos o formas mediante las cuales razonamos o argumentamos a favor

Más detalles

1 Diagrama de problemas

1 Diagrama de problemas 1 Diagrama de problemas 1.1 Por qué utilizar esta herramienta en evaluación? El análisis de problemas es un medio para juzgar la validez de los objetivos de un proyecto, programa o estrategia. En la medida

Más detalles

Teoría del Discurso. Silogismo, entimema

Teoría del Discurso. Silogismo, entimema 1. Silogismo, entimema LÓGICA ARISTOTÉLICA La que es conocida como lógica clásica (o tradicional) fue enunciada primeramente por Aristóteles, quien elaboró leyes para un correcto razonamiento silogístico.

Más detalles

3.5. Breve introducción a la lógica de predicados. Una vez más, comencemos con un ejemplo:

3.5. Breve introducción a la lógica de predicados. Una vez más, comencemos con un ejemplo: 3.5. Breve introducción a la lógica de predicados Una vez más, comencemos con un ejemplo: Todo hombre es un ser racional Todo ser racional tiene dudas Todo hombre tiene dudas Este argumento es claramente

Más detalles

FUNCIÓN BÁSICA DEL SENO Y DEL COSENO, GRÁFICAS Y CARACTERÍSTICAS

FUNCIÓN BÁSICA DEL SENO Y DEL COSENO, GRÁFICAS Y CARACTERÍSTICAS FUNCIÓN BÁSICA DEL SENO Y DEL COSENO, GRÁFICAS Y CARACTERÍSTICAS Sugerencias para quien imparte el curso: Es importante que la interacción con los alumnos dentro del salón de clases sea lo más activa posible,

Más detalles

APENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN

APENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN LOGICA (FCE-UBA) APENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente

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