I.E.Entrerrios Lógica Proposional Prof. Robinson Usma B

Slides:



Advertisements
Presentaciones similares
VALORES DE VERDAD DE LOS CONECTIVOS LÓGICOS
Advertisements

Lógica de proposiciones
LOGICA Y DEMOSTRACIONES
Matemáticas Computacionales
equivalencia material; y b) equivalencia lógica
PRUEBAS DE VALIDEZ E INVALIDEZ
Fundamentos de Lógica ¿Qué es una proposición?
Lógica Proposicional.
LOGICA Y DEMOSTRACIONES
LÓGICA PROPOSICIONAL.
PROFESOR: JAIME H. QUISPE CASAS TEMA : CONECTIVOS LÓGICOS
Mtra. Carolina Galaviz Inzunza Matemática Discreta
CARLOS ANDRES MONTENEGRO
Sesión 5.- Unidad I. Lógica Mtra. Carolina Galaviz Inzunza Matemática Discreta.
Álgebra I Prof: Haroldo Cornejo Olivarí.
Curso de Matemática Propedeútica
Lic. Carmen Aguinaga Doig
LOGICA.
Lógica Proposición Ejemplos
Simbolizar Luisa no es una persona alta.
UBA XXI.
Cuantificadores En esta clase trataremos: Proposiciones abiertas
Matemáticas Discretas
Fundamentos de Lógica ¿Qué es una proposición?
Lógica Proposicional.
Lógica Matemática Mate 3041 Universidad de Puerto Rico
DEPARTAMENTO DE FORMACIÓN GENERAL.
UNIVERSIDAD POLITÉCNICA DE PACHUCA MAESTRÍA EN TECNOLOGÍAS DE LA INFORMACIÓN Y COMUNICACIONES Matemáticas Discretas M. en C. Arturo Lezama León Maestría.
INSTITUCION EDUCATIVA LAS FLORES
Aporte de la Lógica a la Matemática
Lógica de Proposiciones
Conectores lógicos y sus tablas de la Verdad
Tablas de verdad Mgr. Germán Jorge Pérez.
M.I.C. Héctor E. Medellín Anaya
LÓGICA DOCENTE: PATRICIA ISABEL AGUILAR INCIO. CICLO 2012– I.
LÓGICA PROPOSICIONAL.
U. Diego Portales Elementos de lógica Prof. Haroldo Cornejo O.
LOGICA DE ENUNCIADO LOGICA DE PREDICADO
Evalúa el valor de verdad de dos o mas condiciones y si todas son verdaderas devuelve VERDADERO, en caso contrario FALSO.
Lógica Proposicional Profesor: Amador Alejandro Gonzáles Piscoya
LÓGICA PROPOSICIONAL Y PREDICADOS
LÓGICA PROPOSICIONAL 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.)
(o lógica proposicional)
Universidad Rómulo Gallegos Área de Ingeniería de Sistemas
Lógica de enunciado La lógica de enunciados o de proposiciones es el nivel más básico de análisis lógico y descansa exclusivamente en las conectivas.
LOGICA MATEMÁTICA APLICA TU LÓGICA…
ESCUELA DE OFICIALES DE LA POLICÍA NACIONAL DEL PERÚ
Curso de Teoría del Autómata
MATEMATICA I Lógica Matemticas Prof Rubén Millán
Negación: ¬. (También: -, ~ ) Representa la partícula lingüística no o cualquiera otras partículas que incluyan la idea de negación. Al construir la negación.
Tablas de verdad.
FORMALIZACIÓN DEL LENGUAJE NATURAL RESOLUCIÓN DE TABLAS DE VERDAD
CÁLCULO PROPOSICIONAL
Lógica.
Matemáticas Computacionales
Lógica proposicional Docente: Edgar Duarte.
Fundamentos de la Lógica
LEYES DEL ALGEBRA PROPOSICIONAL
LÓGICA PARA LA SOLUCIÓN DE PROBLEMAS
Una proposición es un enunciado u oración declarativa
Utpl Tablas de verdad Negación Una sola preposición.
LA PROPOSICIÓN ESCUELA DE OFICIALES PNP
Lógica Proposicional.
Matemáticas Discretas
Abril CV11 MATEMÁTICAS DISCRETAS MARTES 20:30 – 22:00 MIERCOLES 17:00 – 19:00 JUEVES 16:30 – 17:30 M. en C. José del Carmen.
ASIGNATURA: Matemática 2014
LSIA. Carolina Galaviz Inzunza Curso: Matemática Discreta
Matemática Básica para Administradores
Enunciados Simples Enunciados Compuestos Sistemas Tautológicos
Hecho por: Daniel Rosero Luis Cambo Byron Centeno
Transcripción de la presentación:

I.E.Entrerrios Lógica Proposional Prof. Robinson Usma B Matemáticas Grado 11°

Expresión de la cual puede decirse que es verdadera o falsa. Proposición Lógica o simplemente Proposición Expresión de la cual puede decirse que es verdadera o falsa. Son Proposiciones 3 es un número primo 4 es divisor de 15 Bogotá es la capital de Santander Jhon F. Kennedy fue presidente de los EEUU Usma es atractivo e Inteligentísimo. No son proposiciones ¡Que frio! ¿Qué hora es? ¿Cómo te llamas? ¡estas muy guapa!

Es aquella que se forma sin utilizar términos de enlace. Proposición Simple Es aquella que se forma sin utilizar términos de enlace. Ejemplos: Cristóbal Colon descubrió a América Mahoma es el referente de la religión católica Hoy es Lunes Estamos en el año 2012

Los conectivos lógicos se utilizan para combinar proposiciones y obtener nuevas proposiciones. Simples Proposiciones Compuestas

Conectores Lógicos

Representación de Proposiciones simples Las proposiciones simples se pueden representar usando letras minúsculas como: p, q, r, s, t Ejemplos: p: Cristóbal Colón Descubrió a América q: Simón Bolívar liberó a 5 Naciones r: Jesús liberó a los cristianos del pecado s: 1+1=3 t: 2 > 5 Actividad: elabora ejemplos usando todos los conectores lógicos.

Conectores Lógicos Actividad Partiendo de las siguientes proposiciones simples: p: los gatos nadan q: los perros ladran r: las vacas cantan Traduce al lenguaje de la lógica las siguientes proposiciones compuestas: Los perros ladran y los gatos nadan Los perros ladran y los gatos no nadan Los perros no ladran o las vacas cantan Los gatos nadan si y solo si las vacas cantan Los gatos no nadan y las vacas no cantan Si los perros ladran entonces las vacas cantan Si las vacas no cantan entonces los perros no ladran

Conectores Lógicos Actividad Partiendo de las siguientes proposiciones simples: p: los gatos nadan q: los perros ladran r: las vacas cantan Escribe el enunciado de cada una de las siguientes expresiones lógicas.

Conectores Lógicos

Negación V F Que significa la siguiente expresión? p: Medellín es la capital de la montaña

Conjunción V F p: Los perros son mamíferos q: todos los animales mamíferos son terrestres

En que caso Juan podría ir al antro? Conjunción Supongamos que un papá le dice a su hijo llamado Juan: “Para que te deje ir al antro el fin de semana debes traer 10 en tu examen de esta semana y lavarme el coche todos los días desde el lunes hasta el viernes” Juan se encuentra ante las mismas dos situaciones anteriores, que reflejaremos en dos proposiciones: · p: Juan saca 10 en su examen semanal. · q: Juan lava el coche de su papá de lunes a viernes. En que caso Juan podría ir al antro?

Disyunción V F p: Los perros son mamíferos q: todos los animales mamíferos son terrestres

Disyunción Supongamos que un papá le dice a su hijo llamado Juan: “Para que te deje ir al antro el fin de semana debes cumplir una de estas dos condiciones: Traer 10 en tu examen de esta semana o lavarme el coche todos los días desde el lunes hasta el viernes” El joven se encuentra ante dos situaciones que reflejaremos en las siguientes proposiciones: · p: Juan saca 10 en su examen semanal. · q: Juan lava el coche de su papá de lunes a viernes. En que condiciones Juan no iría al antro?

Condicional V F p: Los estudiantes de 11° de la I.E.E aprobaron todas las materias. q: Los estudiantes de 11 dela I.E.E ganaran el primer periodo

Condicional o Implicación Se lee: Si P entonces Q P implica Q P es suficiente para Q

Bicondicional V F p: Los estudiantes de 11° de la I.E.E aprobaron todas las materias. q: Los estudiantes de 11 dela I.E.E ganaran el primer periodo

P es necesario y suficiente para Q Bicondicional o Doble Implicación Definición: P  Q ≡ P Q  Q  P Se lee: P si y sólo si Q P es necesario y suficiente para Q

Disyunción Exclusiva Una disyunción es exclusiva cuando se puede dar una de las dos proposiciones pero no ambas a la vez. Ejemplos: Los insectos son artrópodos o aves Los perros son cuadrúpedos o bípedos El día del trabajo es en mayo o en junio Álvaro Uribe Vélez es liberal o conservador El campeón de la liga española será el Real Madrid o el Barcelona

Tablas de Verdad Las tablas de verdad se usan para determinar el valor de verdad de proposiciones compuestas. El numero de filas que tendrá una tabla de verdad estará dado por la formula 2n Ejemplo: Hallar el valor de verdad de las siguientes proposiciones compuestas: Usa las siguientes proposiciones para comprender mejor el ejercicio. p: los perros son bípedos q: los bípedos son mamíferos a. b.

Tautología Una proposición compuesta se dice que es una tautología si es verdadera para cualquier valor de verdad de sus proposiciones.

Propiedades Asociativa Conmutativa Distributiva Morgan p: los pingüinos son aves q: las aves vuelan r: las aves son bípedas

Proposiciones con Cuantificadores Un cuantificador es una expresión que permite determinar cantidad en una proposición. (todos, algunos, ninguno, no todos, solo uno) Ejemplo: en la proposición “Todos los animales mamíferos son vivíparos” la expresión Todos determina la cantidad de animales mamíferos que son vivíparos. Otros ejemplos: Todo hombre es mortal. Algunos hombres son sabios. Todas la plantas son medicinales Algunos números son pares Solo en la tierra hay vida Unos peces viven en el agua Ningún estudiante de la I.E.E es mayor de 18 años. Determina el valor de verdad de cada una de las proposiciones

Proposiciones con Cuantificadores La expresión para todo se denomina cuantificador universal. La expresión existe algún se denomina cuantificador existencial Todas la plantas son medicinales (cuantificador universal) Unos peces viven en el agua (cuantificador existencial).

Negación de Proposiciones con Cuantificadores La negación de una expresión en la cual se ha utilizado el cuantificador universal se hace usando cuantificador existencial. (lo mismo en sentido contrario) Todas la plantas son medicinales (cuantificador universal) ( Negación) Existen algunas plantas que no son medicinales