SESIÓN 1 LÓGICA PROPOSICIONAL

Slides:



Advertisements
Presentaciones similares
Proposición Atómica: Cuando se puede representar con una variable proposicional. Entre sus signos no contiene ningún conectivo lógico Proposición molecular:
Advertisements

PROFESOR: JAIME H. QUISPE CASAS TEMA : CONECTIVOS LÓGICOS
Mtra. Carolina Galaviz Inzunza Matemática Discreta
Lic. Carmen Aguinaga Doig
Lógica Proposición Ejemplos
Matemáticas Discretas
Lógica Proposicional.
DEPARTAMENTO DE FORMACIÓN GENERAL.
INSTITUCION EDUCATIVA LAS FLORES
Aporte de la Lógica a la Matemática
LÓGICA DOCENTE: PATRICIA ISABEL AGUILAR INCIO. CICLO 2012– I.
LOGICA DE ENUNCIADO LOGICA DE PREDICADO
Proposiciones lógicas
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.)
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.
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.
CÁLCULO PROPOSICIONAL
Matemáticas Computacionales
Lógica proposicional Docente: Edgar Duarte.
LÓGICA PARA LA SOLUCIÓN DE PROBLEMAS
Lógica Proposicional.
RAZONAMIENTO LÓGICO LÓGICA MATEMÁTICA.
Matemática Básica para Administradores
Algebra Booleana y Compuertas Lógicas AND, OR, NOT, XOR, NAND e Identidades del Algebra Booleana.
Hecho por: Daniel Rosero Luis Cambo Byron Centeno
Teoría de las descripciones Bertrand Russell ( ) María Teresa Muñoz.
Retroalimentación.
No existe una lógica universal. Existen diferentes sistemas lógicos, cada uno de los cuáles se ocupa del análisis de una clase particular de razonamientos.
PROCESOS LÓGICOS DE PENSAMIENTO Darwin Peña González Ms.C.
El argumento Cuando expresamos pensamientos con palabras (orales o escritas), lo hacemos a través de frases asertivas. Una frase asertiva es una proposición.
PRINCIPIOS LOGICOS MATERIA: LOGICA MATRICULA:
Lógica.
Práctica especificación 1 Lógica proposicional
Conectores Lógicos Los conectivos lógicos son símbolos que permiten obtener nuevas proposiciones a partir de proposiciones dadas. Los conectivos son:
Autor: Rubén Montero Diez Asig: Lógicas para la Informática y la IA
UNIDAD 1 LÓGICA MATEMÁTICAS.
INDUCCIÓN MATEMÁTICA.
El conjunto de los números naturales
PROPOSICIONES EQUIVALENTES
con a, b y c constantes reales y a ≠ 0.
CONDICION NECESARIA O SUFICIENTE
UNIVERSIDAD NACIONAL DE CHIMBORAZO Unidad de Nivelación y Admisión
Lógica de Proposiciones y Predicados
Conjunción: ^ . (También: ·, & )
Proposiciones Matemáticas
Lógica Proposicional.
EXPRESIONES Una expresión es una forma especial de asignación.
UNIVERSIDAD DE SAN CARLOS DE GUATEMALA Escuela de Trabajo Social
Funciones Prof. M. Alonso
Mg. CÉSAR AUGUSTO POMA HENOSTROZA
Cálculo Lógico.
Alumno: Cesar Raúl Onofre Segura Grupo: 01 Matricula:
Lógica de enunciados (o lógica proposicional). Ejemplos de enunciados Cuba es una isla en el Pacífico = 4 Vicente Fox es el presidente de Guatemala.
Programación Lógica.
MÉTODO CIENTÍFICO.
ELEMENTOS DE LA LÓGICA PROPOSICIONAL. PROPOSICIÓN.- Una proposición es un enunciado al cual se le asigna un determinado valor de ser verdadera (V) o de.
ESTRUCTURAS DISCRETAS M. Sc. PABLO CESAR TAPIA CATACORA.
Lógica Matemática Universidad de Puerto Rico Prof. Juan L. Vélez
ESTADÍSTICA. ESTADÍSTICA La estadística es una ciencia formal que estudia la recolección, análisis e interpretación de datos, ya sea para ayudar en.
Teoría de las descripciones Bertrand Russell ( )
ESCUELAS FILOSOFICAS Y CAMBIOS PARADIGMATICOS II
BICONDICIONAL.
Lógica Proposicional Álgebra Superior
OBJETIVO: Aplicar los principios básicos de la Lógica a la Matemática.
APLICA APLICA TU LÓGICA… Las niñas que tienen ojos negros tienen el cabello largo. Las niñas que juegan con muñecas nunca lloran. Las niñas que no juegan.
PRO. ALDO G. ECUACIONES. EXPRESIONES ALGEBRAICAS Si se combinan, números representados por símbolos, mediante una o más operaciones de suma, resta, multiplicación,
Tabla de verdad es una herramienta desarrollada por Charles Peirce en los años 1880, siendo sin embargo más popular el formato que Ludwig Wittgenstein.
Lógica de proposiciones. Objetivos generales Presentar intuitivamente los principios del razonamiento lógico e introducir los conceptos de teorema y demostración.
TEMA: LOGICA PROPOSICIONAL Y EL LENGUAJE SIMBOLICO Mg. Alex Alarcón Mondragón.
Transcripción de la presentación:

SESIÓN 1 LÓGICA PROPOSICIONAL

Se dice que para sacar una conclusion ,hay que tener la información, ¿pero se puede concluir solo a partir de datos ?

¿Cada mano dibuja entre si una manga de camisa?

¿Qué observas? ¿Hay operarios arreglando la cerca y el piso, o están reparando la terraza y hay gente que intenta subir?

¿Son posibles esas imágenes? ¿Por qué? ¿Qué ocurre si solo nos dejamos llevar por nuestros sentidos? ¿Es necesario tener la información en un contexto ? La lógica nos permite ir más allá de la información que nos proporcionan nuestros sentidos y en un contexto determinado.

¿QUÉ ES LA LÓGICA? Es una disciplina que mediante reglas y técnicas estudia la forma del razonamiento. En matemática se emplea para demostrar teoremas; en computación, para validar un programa; en física, para dar conclusiones de experimentos y, en la vida cotidiana, para cualquier trabajo que se realiza ya que tiene un procedimiento lógico. Gracias a ella, el ser humano distingue la realidad de la percepción y defiende sus puntos de vista con argumentos basados en hechos y datos. Esto lo logra utilizando su inteligencia y con la ayuda de los conocimientos adquiridos.

¿Qué es una proposición? Es un enunciado coherente que se posee un valor de verdad: verdadero (v) o falso (f), sin ambigüedades y en determinado contexto. Ejm : (2+3 )² = 4 + 9 (falso) Lima es una ciudad de la costa del Perú. (verdadero) Se simboliza con letras minúsculas (p; q; r; etc.)

EJEMPLIFICANDO Identifica las expresiones que son proposiciones: Sofía Mulanovich fue campeona mundial de tabla en el 2004. Tal vez compre un obsequio. Formuló una pregunta difícil de responder. 3 + 2 = 5 . Dos números enteros distintos pueden sumar cero. ¡Ojalá tomen lo que he estudiado!

¿Cuáles son los tipos de proposiciones? Simples: Son aquellas que tienen una única idea, es decir una sola afirmación, siempre en positivo. Ejem. -6 es un número entero Los universitarios tienen carnet de medio pasaje. Compuestas: Son aquellas que tienen dos o más proposiciones . Ejem. Cusco está en el Perú y el Perú está en Sudamérica Si x² =4 → x=2 o x=-2

EJERCITÁNDONOS Identifica si la proposición es compuesta (C) o simple (S). Pablo es culto. Tres no es mayor que 5. Los cuadriláteros tienen cuatro lados. Ana y José son esposos. Rosa tiene 20 años. Ana y José están casados. No es cierto que 34 sea igual a 243. S C

CONECTORES LÓGICOS Llamados también operadores lógicos , son palabras que sirven para enlazar proposiciones simples o cambiar el valor de verdad de una proposición.

EXPRESIONES EQUIVALENTES CONECTORES LÓGICOS CONECTOR EXPRESIONES EQUIVALENTES CONJUNCIÓN Sin embargo, aunque, también, pero, además, a la vez, no obstante, etc. CONDICIONAL Por consiguiente, puesto que, porque, ya que, etc. NEGACIÓN No es cierto que, es falso que, no es el caso que, etc.

CONECTORES LÓGICOS     CONECTOR CONJUNCIÓN pq p y q SÍMBOLO ESQUEMA SIGNIFICADO VALOR DE VERDAD CONJUNCIÓN  pq p y q V si ambas proposiciones son V DISYUNCIÓN INCLUSIVA  pq p o q F solo si ambas proposiciones son F DISYUNCIÓN EXCLUSIVA  p q o p o q F si ambas proposiciones tienen igual valor de verdad CONDICIONAL  pq si p, entonces q F solo si la primera proposición es V y la segunda es F NEGACIÓN  p no p Lo opuesto al valor de la proposición

EJEMPLIFICANDO Determina el valor de verdad de las siguientes expresiones, si sabes que: (V) p: María es doctora. (F) q: María es casada. (V) r: María vive con sus padres. (F) s: María viajará a España. (q  r)  s (p  r)  (p  q) (F  F)  F (V  V)  (V  F) V  F V  F F V

EJEMPLIFICANDO Dadas las siguientes proposiciones: p : Estudio sistemáticamente q : Obtendré buenas calificaciones en Álgebra r : Voy a bailar todos los fines de semana s : Me sentiré feliz Escriba con palabras la siguiente proposición: (~ p  r )  ~ q Si no estudio sistemáticamente y voy a bailar todos los fines de semana entonces no obtendré buenas calificaciones en álgebra.

EJEMPLIFICANDO Dadas las siguientes proposiciones: p : a es un número par q : 2a es un número par r : a es un múltiplo de 6 s : a < 10 Escribe con símbolos la siguiente proposición: Si a es un número par y múltiplo de 6, entonces 2a es par o a es menor que 10 p  r  q  s

Veamos otras aplicaciones de la lógica

EL ACERTIJO DEL REY Un rey plantea a los pretendientes de su hija lo siguiente: “Se casa con mi hija quien determine en cual de los cofres se encuentra mi retrato” Si se sabe que de las inscripciones solo una es falsa, ¿en cuál de los cofres se encuentra el retrato?

EL ACERTIJO DEL REY Recuerda solo una inscripción es falsa A EL RETRATO ESTA EN ESTE COFRE B EL RETRATO NO ESTA EN ESTE COFRE C EL RETRATO ESTA EN EL COFRE DEL CENTRO

SOLUCION Analizando lo escrito en el cofre A: Si A es verdadero, entonces B es verdadero y C es falso. Analizando lo escrito en el cofre B: Si B es verdadero, entonces C es falso y A es verdadero. Analizando lo escrito en el cofre C: Si C es verdadero, entonces A es falso y B es falso. Por lo tanto, el retrato se encuentra en el cofre: A

ESQUEMA MOLECULAR Ejemplos: A = p  (q  r) Es la combinación de variables y conectivos lógicos debidamente jerarquizados, se simbolizan mediante metavariables que son las letras mayúsculas a partir de A, B, C,… Ejemplos: A = p  (q  r) B = (p  q)  [ r ↔(q  s)] C = ~(p ~ q)  [ (p r) ↔(q  s)]

EVALUACIÓN DE ESQUEMAS MOLECULARES Consiste en obtener los valores del operador principal a partir de los valores de cada una de las variables proposicionales y se realiza mediante las denominadas “Tablas de verdad” creadas por Wittgenstein. Los valores obtenidos se denominan Matriz principal y corresponden al conectivo de mayor jerarquía.

TIPOS DE ESQUEMAS MOLECULARES A) Tautología Una proposición es una tautología si y sólo si es verdadera para todas las asignaciones posibles. Ejemplo: [(pq)  p]  q

TIPOS DE ESQUEMAS MOLECULARES B) Contradicción Una proposición es una contradicción si y sólo si es falsa para todas las asignaciones posibles. Ejemplo: ~ [(p q)  (q p)]

TIPOS DE ESQUEMAS MOLECULARES C) Contingencia Una proposición que no sea una ni una tautología ni una contradicción se denomina contingencia (casualidad, eventualidad). Ejemplo: p  ~ q

EVALUÁNDONOS ¿Qué aprendimos? ¿Cómo lo aprendimos? ¿Por qué es útil lo aprendido?

GRACIAS