Refelxiones con Respecto a la Lógica. Ana Lilia LAUREANO-CRUCES

Documentos relacionados
CIENCIAS FORMALES CIENCIAS FÁCTICAS

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

Enunciados Abiertos y Enunciados Cerrados

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

Guía para el estudiante

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

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

Lógica proposicional o Lógica de enunciados

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

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

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

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

Taller de Análisis Lógico de Argumentos Filosóficos Semestre FORMALIZACIÓN: CONECTIVAS Y CONSTÁNTES LÓGICAS. I. Lenguaje formal.

LÓGICA PROPOSICIONAL

La Lógica Proposicional

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

Lógica Matemática. Tema: Valor de certeza funcional de la preposición: negación, conjunción, disyunción, condicional y bicondicional

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

Lógica proposicional 2. El lenguaje formal

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

P r o p o s i c i ó n

TEMA II. 1.1 Negación La negación es la inversa de los valores de verdad de una declaración como se muestra en la figura: Negación

Evaluación Nacional Revisión del intento 1

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

Lógica Matemática. Tema: Tautología, contradicción y evaluación de la validez

EL LENGUAJE FORMAL DE LA LÓGICA. Agosto del 2011

Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid

Tablas de Verdad L Ó G I C A P R O P O S I C I O N A L

Lógica proposicional

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

Pragmática es el estudio de la relación entre los signos y los sujetos que los emplean.

CURSO NIVELACIÓN LÓGICA MATEMÁTICA PROYECTO UNICOMFACAUCA TU PROYECTO DE VIDA LAS PROPOSICIONES

LÓGICA PROPOSICIONAL

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

Módulo 1. Segunda Parte NOCIONES DE LÓGICA SIMBÓLICA

En general, se considera válido un razonamiento cuando sus premisas ofrecen soporte suficiente a su conclusión.

Matemáticas Básicas para Computación

Apuntes de Lógica Proposicional

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

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

EVOLUCIÓN HISTÓRICA DE LA LÓGICA

Matemáticas Básicas para Computación

UNIVERSIDAD DEL VALLE DE GUATEMALA CURSO: FILOSOFÍA PRIMER CICLO 2009 LIC. JOSÉ ÁNGEL ROSALES MATUS INVESTIGACIÓN FILOSOFIA EN LOS CIRCUITOS LOGICOS

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

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

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

Introducción a la Lógica

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

Lógica Proposicional. Introducción

LÓGICA. LENGUAJE ARTIFICIAL Lenguajes bien definidos que poseen una estructura sintáctica clara y una operativa eficaz.

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

No son proposiciones por no poder ser evaluadas como verdaderas ni falsas. Las exclamaciones, órdenes ni las preguntas son proposiciones

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

logica computacional Tema 1: Introducción al Cálculo de Proposiciones

Operaciones con Proposiciones

Matemáticas Discretas Lógica

Introducción a la lógica. Matemáticas Discretas Universidad de san buenaventura Cali

Elaborar un mapa conceptual del tema de Lógica Proposicional (Diapositivas: Lógica Proposicional) Desarrollar ejercicios de la ficha de trabajo y del

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

Capítulo 1 Lógica Proposicional

Lógica Proposicional. Sergio Stive Solano Sabié. Abril de 2013

2. Introducción a la Lógica proposicional y Teoría de conjuntos

Forma lógica de enunciados

SESIÓN 04 LÓGICA PROPOSICIONAL

LA ARGUMENTACIÓN: Argumentos deductivos y Lógica

Lógica Proposicional. Guía Lógica Proposicional. Tema I: Proposiciones

Lógica de Predicados

LÓGICA Y RAZONAMIENTO JURÍDICO. Antes de empezar

LÓGICA Y RAZONAMIENTO JURÍDICO

LÓGICA FORMAL. PROPOSICIONES. CONECTORES LÓGICOS. TABLAS DE VERDAD. Introducción a la programación EPET N 3

Módulo 7 Negación. Negación: Es la contradicción a la proposición afirmativa utilizando el conectivo lógico no

UNIDAD I: LÓGICA MATEMÁTICA

LÓGICA PROPOSICIONAL 1. LENGUAJE DE LA LÓGICA PROPOSICIONAL 2. SÍMBOLOS LÓGICOS. 1.a. Símbolos formales. Símbolos no lógicos. Símbolos auxiliares

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

MATEMÁTICAS BÁSICAS. 23 de febrero de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS

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

Tabla de valores de verdad

MATEMÁTICAS DISCRETAS. UNIDAD1 Lógica y Demostraciones

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

Lógica proposicional. 1. Lógica proposicional. 4. Conectivos lógicos. 2. Proposición lógica. 3. Negación de una proposición

PRIMERA UNIDAD II SEMESTRE FILOSOFIA

COLEGIO PEDAGÓGICO DE LOS ANDES TALLER DE NIVELACIÓN DE MATEMÁTICAS 6 Y 7 GRADO PRIMER PERIODO

Estructuras Discretas y Ciencias de la Computación

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

13/04/2013 LOGICA MATEMÁTICA

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

Lógica Proposicional

Simbolización de Proposiciones


Colegio Centro América. Cuaderno de ejercicios Matemáticas

Resolución de Problemas y Algoritmos 2016

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

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

Autora: Jeanneth Galeano Peñaloza. 3 de febrero de Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá 1/ 50

Lógica Matemática. Tema: Los conectores lógicos y sus símbolos

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

Lógica Proposicional

UNIVERSIDAD MICHOACANA DE SAN NICOLAS DE HIDALGO PROGRAMA DE LOGICA II SEGUNDO SEMESTRE

DEPARTAMENTO DE MATEMÁTICA Y FÍSICA ASIGNATURA

Transcripción:

Refelxiones con Respecto a la Lógica Ana Lilia LAUREANO-CRUCES

Qué es la lógica es el estudio de métodos y principios usados para distinguir el buen (correcto) razonamiento del malo (incorrecto). no debe interpretarse esta definición en el sentido de que solo el estudioso de la lógica puede razonar bien o correctamente.

pretender esto sería como sostener que solo los que estudian física y fisiología pueden correr y esta no es verdad ya que los atletas no conocen de estos procesos y son excelentes ejecutando estas actividades

A la lógica formal se le conoce como lógica simbólica o lógica simbólica. Así que la lógica es una ciencia y su objeto de estudio lo constituyen las formas, estructuras o esquemas del pensamiento.

contenido variable vs estructuras comunes 1. 7 es un número primo y 4 es par. 2. la gasolina es inflamable y la potasa es cáustica. 3. Venus es un planeta y Sirio es una estrella. 4. marzo tiene 30 días o marzo tiene 31 días. 5. el hombre hace su historia o la historia hace al hombre. 6. 4 es impar o 4 es par. 7. si el hombre hace su historia, entonces el destino es un mito. 8. si 4 es par, entonces 4n también es par. 9. si el tabaco produce cáncer, entonces los cigarros son un medio de suicidio.

conectores para relacionar los pensamientos y o si entonces

Logica Proposicional es la parte de la lógica que estudia las formas en que se relacionan unas proposiciones con otras y, sobre todo, la relación que se da entre las proposiciones que componen un razonamiento.

Lenguaje: Natural vs Simbólico es un instrumento por el que se trasmite información. no todos los lenguajes son hechos por el hombre. el lenguaje de las abejas el lenguaje de las células

lenguajes hechos por el hombre La información se trasmite por medio de signos: señas gritos palabras combinación de colores volutas de humo

Sistemas de signos representan algo de forma individual o combinándolos. el lenguaje natural contiene imprecisiones, confusiones y errores. en un lenguaje científico es preciso evitarlas. de aquí que en las ciencias nos encontremos con lenguaje preciso y lleno de símbolos elegidos de forma cuidadosa y conscientemente.

Lenguajes científicos Contamos con tantos como ciencias particulares: matemáticas química logica programación

Qué implica la simbolización sencillez claridad exactitud

Logica proposicional es libre del contenido; se examinan las proposiciones y sus posibles relaciones y, o, si entonces se busca saber si un razonamiento es correcto o incorrecto. si en la luna hay vida, entonces en la luna hay agua. no ocurre que en la luna hay vida luego entonces, no es cierto que en la luna hay agua

Proposiciones las proposiciones son pensamientos en los que se afirma algo por medio de expresiones declarativas, imperativas, interrogativas y exclamativas. una expresión declarativa es una preposición afirmativa que puede ser verdadera o falsa.

ejemplo 1. el ácido sulfúrico corroe la madera. 2. 2 mas 2, es igual a 3. 3. 1974 fue un año bisiesto. 4. se prohibe comer chicharrón en los conciertos. 5. qué comen los marcianos? 6. maldita sea mi suerte!

preposiciones simples o elementales la ballena es animal marino febrero en 1979, tuvo 29 días la ballena es un mamífero

preposiciones completas o moleculares Cuba es una isla y Baja California es una península. si la ballena es un mamífero, entonces la ballena tiene respiración pulmonar. el hombre es responsable si y solo si, el hombre es libre. no es el caso que 4 es par. no es cierto que el agua es un elemento.

Representación Las preposiciones simples: p,q,r,,w Conctores para formular preposiciones compuestas: no es el caso que y o si entonces si y solo si (negación) (conjunción) (disyunción) (condicional) (bi-condicional)

términos AL lógico no le interesa el proceso de la inferencia, sino las proposiciones que constituyen los puntos inicial y terminal de ese proceso, así como las relaciones existentes entre ellas. las proporciones son verdaderas o falsas; en esto difieren las preguntas, las órdenes, y las exclamaciones.

proposición = enunciado proceso de inferencia; para cada inferencia posible hay un razonamiento correspondiente; siendo estos razonamientos los que caen en el ámbito de la lógica.

Entonces, un razonamiento es cualquier grupo de proposiciones, tal que de una de ellas se afirma que deriva de las otras, las cuales son consideradas como elemento de juicio a favor de la verdad de la primera. un razonamiento no es un conjunto de proposiciones, sino que forman de una estructura de un posible razonamiento. Al describir la estructura se emplean comúnmente los términos premisa y conclusión.

la conclusión de un razonamiento, es la proposición que se afirma sobre la base de las otras proposiciones. premisa y conclusión son términos relativos, esto es la misma proposición pues ser premisa en un razonamiento y confusión en otro. todo lo que esta predeterminado es necesario todo suceso esta predeterminado por lo tanto, todo suceso es necesario

Todo suceso causado por otros sucesos, esta predeterminado. todo suceso esta causado por otro suceso. por lo tanto todo suceso esta predeterminado.

Frases típicas para introducir una conclusión por lo tanto por ende así luego por consiguiente se sigue que podremos inferir podremos concluir

Identificadores de premisas puesto que porque pues en tanto que por la razón de que

fin