LÓGICA PROPOSICIONAL

Documentos relacionados
UNIDAD I: LÓGICA MATEMÁTICA

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

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

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

Matemáticas I. Unidad temática I.- Lógica Matemática I.S.C. Iván de J. Moscoso Navarro

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

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

IDENTIFICACIÓN DE LA ACTIVIDAD PEDAGÓGICA DESARROLLO DE LA ACTIVIDAD. p, q, r, s

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

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

CIENCIAS FORMALES CIENCIAS FÁCTICAS

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

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

Enunciados Abiertos y Enunciados Cerrados

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

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

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

Guía para el estudiante

P r o p o s i c i ó n

Introducción a la Lógica

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

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

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

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

Introducción. Ejemplos de expresiones que no son proposiciones

La Lógica Proposicional

03. Introducción a los circuitos lógicos

MATEMÁTICAS DISCRETAS. UNIDAD1 Lógica y Demostraciones

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

Capítulo 2 Conjuntos. 2.1 Introducción. 2.2 Determinación de conjuntos. Definición:

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

Matemáticas - Guía 1 Proposiciones

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

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

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

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

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

ENUNCIADO ABIERTO: Es un enunciado en forma de expresión matemática que no es verdadero ni falso. Ejemplos: x < 9 x + 2 = 10 a + b = 1 a 2 + b 2 = c 2

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

Benemérita Universidad Autónoma de Puebla

ESCUELA MILITAR DE INGENIERÍA MISCELÁNEAS DE PROBLEMAS 2013 ÁLGEBRA I

Ejercicios de Lógica Proposicional *

MATEMÁTICA. Módulo Educativo Etapa Presencial Docente Coordinadora: Bioq. y Farm. Marta Marzi

CORPORACION UNIFICACADA NACIONAL DE EDUCACION SUPERIOR CUN- DEPARTAMENTO DE CIENCIAS BÁSICAS: PENSAMIENTO LOGICO-MATEMATICO

LÓGICA DE PROPOSICIONAL Y PREDICADOS INGENIERÍA DE SISTEMAS

Lógica de Proposiciones y de Predicado

CORPORACIÓN UNIFICADA NACIONAL DE EDUCACIÓN SUPERIOR CUN GUÍA DE FUNDAMENTOS DE MATEMÁTICAS DOCENTE : YAMILE MEDINA CASTAÑEDA

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

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

Definición y representación de los

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

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

Matemáticas Dicretas LÓGICA MATEMÁTICA

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

Matemáticas Básicas para Computación

CONJUNTO: Colección o agregado de ideas u objetos de cualquier especie.

IDENTIFICANDO ZONAS EN LOS DIAGRAMAS DE VENN UTILIZANDO CONECTIVOS Y CUANTIFICADORES

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

INSTITUCION EDUCATIVA LA PRESENTACION NOMBRE ALUMNA: ASIGNATURA: MATEMATICAS. NOTA

Forma lógica de enunciados

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

Lógica proposicional o Lógica de enunciados

Capítulo 1 Lógica Proposicional

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

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

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

Guía para el estudiante

NOTACIÓN MATEMÁTICA INTRODUCCION:

CLAVE DE EXAMEN Matemática para computación 1 código de curso: 960

Proposicional. Curso Mari Carmen Suárez de Figueroa Baonza

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

Evaluación Nacional Revisión del intento 1

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

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

Lógica de predicados

MÉTODOS DE DEMOSTRACIÓN

Cálculo de predicados. Lógica de predicados. Cálculo de predicados. Cálculo de predicados 08/06/2011

Curso LÓGICA Examen de recuperación de lógica proposicional

PRIMERA UNIDAD II SEMESTRE FILOSOFIA

DEPARTAMENTO DE MATEMÁTICA Y FÍSICA ASIGNATURA

Lógica Proposicional

Lógica proposicional. Ivan Olmos Pineda

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

Apuntes de Lógica Proposicional

Lógica de proposiciones (5)

Lógica y Programación

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

ALUMNO SEGUIMIENTO TALLER

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

Introducción a la lógica matemática

ÁLGEBRA DE BOOLE Y FUNCIONES LÓGICAS

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

Lógica Proposicional. Significado de una Fórmula Proposicional

Tema 2: Teoría de la Demostración

Transcripción:

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. Esto se aplica tanto a las personas como a las situaciones y a los pensamientos.

QUE ES LA LÓGICA? La palabra lógica nos indica ya en su origen etimológico (logos = conocimiento, sabiduría) el sentido básico de esta ciencia, que se eleva hasta el espíritu y el pensamiento, la razón y la inteligencia. De esta manera definimos nominalmente la lógica como: La ciencia del pensamiento y la razón.

PARA QUE SIRVE LA LÓGICA? La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un argumento es válido. La lógica es ampliamente aplicada en la filosofía, matemáticas, computación, física. En la filosofía para determinar si un razonamiento es válido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lógica permite saber el significado correcto. En las matemáticas para demostrar teoremas e inferir resultados que puedan ser aplicados en investigaciones. En la computación para revisión y creación de programas (software).

PARA QUE SIRVE LA LÓGICA? En general la lógica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lógico, por el ejemplo; para ir de compras al supermercado una ama de casa tiene que realizar cierto procedimiento lógico que permita realizar dicha tarea. Si una persona desea pintar una pared, este trabajo tiene un procedimiento lógico, ya que no puede pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes no pintó la parte alta porque se mancharía lo que ya tiene pintado.

PARA QUE SIRVE LA LÓGICA? La lógica es pues muy importante; ya que permite resolver incluso problemas a los que nunca se ha enfrentado el ser humano utilizando solamente su inteligencia y apoyándose de algunos conocimientos acumulados, se pueden obtener nuevos inventos, innovaciones a los ya existentes o simplemente utilización de los mismos.

LÓGICA PROPOSICIONAL La lógica proposicional es la parte de la lógica que estudia la formación de proposiciones complejas a partir de proposiciones simples, y la inferencia de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples.

PROPOSICIONES Una proposición es una afirmación que comunica una idea verdadera o falsa. Ejemplos: Determinar cuáles de las siguientes expresiones son proposiciones: El murciélago es un animal mamífero. Es una proposición porque se puede afirmar si el murciélago es o no es un animal mamífero. Cuál es tu nombre? No es una proposición ya que no se puede afirmar si la pregunta es verdadera o falsa.

PROPOSICIONES Una proposición es una afirmación que comunica una idea verdadera o falsa. Ejemplos: (continuación ) Determinar cuáles de las siguientes expresiones son proposiciones: Hola! No es una proposición, es una exclamación que indica saludo, por lo tanto, no se puede determinar su valor de verdad. Colombia No es una proposición, es un nombre y no tiene valor de verdad.

PROPOSICIONES CONSIDERACIONES: Las preguntas, ordenes y exclamaciones no son consideradas proposiciones porque no se puede afirmar que son verdaderas o falsas. Para nombrar proposiciones, habitualmente, se utilizan letras minúsculas. Las más empleadas son p, q, r, s y t, aunque no son las únicas. Cuando se establece si una proposición es verdadera o falsa se está determinando su valor de verdad.

PROPOSICIONES Ejemplos: Escribir la expresión como una proposición. Luego, determinar su valor de verdad: 1. Michael Phelps fue el campeón de natación en los Juegos Olímpicos de Beijíng 2008. Para escribir la expresión como una proposición, se le asigna una letra que la represente: r: Michael Phelps fu el campeón de natación en los Juegos Olímpicos de Beijing 2008. (Utilizamos en este caso la letra r ) El valor de verdad es decir si la proposición es verdadera o falsa: Es una proposición verdadera ya que, en efecto, Phelps fue quien ganó más medallas en este deporte.

PROPOSICIONES Ejemplos: Establecer el valor de verdad de las siguientes proposiciones: q: España es el campeón mundial de fútbol del año 2010. Esta proposición es verdadera, pues España ganó la final de fútbol en el año 2010. t: Junio es el quinto mes del año. La proposición es falsa. Al enumerar los meses se puede apreciar que junio es el sexto mes del año y no el quinto. r: 2 elevado a la 3 es 8. 2 3 = 8, la proposición es verdadera porque 2 X 2 X 2 = 8.

PROPOSICIONES SIMPLES. Una proposición simple es una afirmación conformada por una sola oración gramatical. Ejemplo: La proposición, r: Un triángulo equilátero es aquel cuyos lados tienen la misma medida Es una proposición simple, puesto que está conformada por una sola oración. La proposición, q: Cinco es un número impar y también es un número primo. No es una proposición simple porque está formada por dos oraciones.

NEGACIÓN DE PROPOSICIONES SIMPLES. Cuando se niega una proposición simple se cambia su valor de verdad. Es decir, algo que era verdadero se vuelve falso y algo quo era falso se convierte en verdadero. Para negar una proposición simple se le antepone la expresión no es verdad que o se le incluye un no para que cambie su significado a exactamente lo contrario. El símbolo que indica la negación de una proposición es ~, se usa así: ~p, y se lee no p. Ejemplo: q: Bogotá está 1600 metros más cerca de las estrellas Se niega la proposición q como ~q y se Lee no q es decir, no es verdad que Bogotá está 2.600 metros más cerca de las estrellas, o, Bogotá no está 2.600 metros más cerca de las estrellas

PROPOSICIONES COMPUESTAS Una proposición compuesta es una afirmación conformada por dos o más proposiciones simples que se conectan usando las palabras y, o, si... entonces, si y solo si. Es importante tener en cuenta que en una proposición compuesta se combinan las ideas de las proposiciones simples que la forman para dar origen a una nueva idea más elaborada. Ejemplo: Así que si se tienen dos proposiciones simples como: p: Simón es un hombre trabajador. q: Es una persona amigable. Se puede generar una proposición compuesta que integre las dos ideas que diga: Simón es un hombre trabajador y es una persona amigable. La palabra que se emplea para conectar las dos proposiciones simples es y.

CONECTIVOS LÓGICOS Los conectivos lógicos o conectores son palabras que vinculan las ideas expresadas en dos o más proposiciones simples, para comunicar algo más complejo. Los conectivos lógicos están identificados con un símbolo especial y un nombre que representan la función que cumplen.

CONECTIVOS LÓGICOS Ejemplos: Escribir las siguientes proposiciones compuestas usando los símbolos lógicos: Si la figura es un cuadrilátero entonces tiene cuatro lados. Asignando p: La figura es un cuadrilátero q: Tiene cuatro lados La representación sería: p q Irás al paseo si y sólo si te portas bien en clase. Asignando r: Irás al paseo s: Te portas bien en clase. La representación sería: r s

CONJUNCIÓN. La conjunción es una operación lógica que usa el conectivo y relacionar dos proposiciones simples y construir una proposición compuesta para simbolizar la conjunción de dos proposiciones r y s se escribe r ʌ s y se lee r y s. En la conjunción p ʌ q es importante tener en cuenta que la proposición compuesta es verdadera solo si p y q son verdaderas, en cualquier otro caso es falsa. Cuando se establece la conjunción entre dos proposiciones p y q, se da a entender que tanto la idea que expresa p como la que expresa q deben cumplirse (inclusión). Ejemplo: si p, q son las proposiciones: p: Cinco es un número primo. q: Es impar. Se escribe p ʌ q y se lee: Cinco es un número primo y es impar.

DISYUNCIÓN. La disyunción de dos proposiciones simples se obtiene usando el conectivo lógico o. Es importante tener en cuenta que la proposición r V s es falsa, únicamente cuando las dos proposiciones r y s, son falsas. Por ejemplo, si r y s son las proposiciones: r: Seis es un número mayor que cinco. s: Seis es un número menor que tres. Se escribe r V s, y se lee: Seis es un número mayor que cinco o seis es un número menor que tres.

IMPLICACIÓN. La implicación de dos proposiciones simples se obtiene utilizando el conectivo lógico si entonces. La implicación entre dos proposiciones simples t y k se escribe t k y se lee si t entonces k. Es importante tener en cuenta que entre dos proposición t y k es falsa, solo cuando t es verdadero y k es falsa. Por ejemplo, si t y k son las proposiciones: t: Francisco estudia. k: Aprobará el año. Se escribe t k, y se lee: Si Francisco estudia entonces aprobará el año

EQUIVALENCIA. La equivalencia entre dos proposiciones simples se establece utilizando el conectivo lógico si y solo sí. Para representar la equivalencia entre dos proposiciones m y v se escribe m v y se lee m si y solo si v. La equivalencia entre dos proposiciones simples es verdadera cuando ambas son verdaderas o cuando ambas son falsas. Por ejemplo, si m y v son las proposiciones: m: Van de paseo por el eje cafetero. v: Ahorran todo el año. Se escribe t k, y se lee: Van de paseo por el eje cafetero si y solo si ahorran todo el año.

PARA FINALIZAR Para identificar el valor de verdad de proposiciones compuestas, deben tener en cuenta las indicaciones dadas: Negación: Cuando se niega una proposición simple se cambia su valor de verdad. Conjunción entre p ʌ q es importante tener en cuenta que la proposición compuesta es verdadera solo si p y q son verdaderas, en cualquier otro caso es falsa. Disyunción: Es importante tener en cuenta que la proposición r V s es falsa, únicamente cuando las dos proposiciones r y s, son falsas. Implicación: Es importante tener en cuenta que entre dos proposición t y k es falsa, solo cuando t es verdadero y k es falsa. Equivalencia entre dos proposiciones simples es verdadera cuando ambas son verdaderas o cuando ambas son falsas.

GRACIAS