Semántica Proposicional: Repaso Ciertas proposiciones pueden tener otras proposiciones como sus argumentos: QUERER ( X, P ) X = RODOLFO P = COMER ( Y,

Slides:



Advertisements
Presentaciones similares
Lógica, Argumentación y Pensamiento Crítico
Advertisements

VALORES DE VERDAD DE LOS CONECTIVOS LÓGICOS
equivalencia material; y b) equivalencia lógica
Transformación del Lenguaje Natural al Lenguaje Lógico
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:
Teoría de las descripciones Bertrand Russell ( )
Lógica Proposicional.
LÓGICA PROPOSICIONAL.
Mtra. Carolina Galaviz Inzunza Matemática Discreta
CARLOS ANDRES MONTENEGRO
Curso de Matemática Propedeútica
“SENTIDO Y REFERENCIA” G. FREGE ( )
COMPETENCIAS PROYECTO TIC UNIVERSIDAD PONTIFICIA BOLIVARIANA
RAZONAMIENTO LOGICO Presentado por: Paola Andrea Rico
Maestría en Bioinformática Bases de Datos y Sistemas de Información Fundamentos de Lógica Ing. Alfonso Vicente, PMP
José Alfredo Cervantes Guzmán UMSNH Coautor: Jesús Rivera
Lógica Proposición Ejemplos
Simbolizar Luisa no es una persona alta.
El lenguaje simbólico de la Lógica Proposicional
Los problemas semánticos de las expresiones del Lenguaje Proposicional
LÓGICA Ing. Daniel Palomares.
ÍNDICE Conjuntos Partes de un conjunto. Operaciones.
CAPITULO 2 La Representación del Conocimiento
Matemáticas Discretas
REPRESENTACION DEL CONOCIMIENTO. Representación  Una representación es algo que significa o quiere decir algo. Es un modelo de lo que se desea representar.
Lógica Proposicional.
Razonamiento Inductivo
DEPARTAMENTO DE FORMACIÓN GENERAL.
Aporte de la Lógica a la Matemática
Semántica Proposicional: Repaso
Lógica proposicional.
Lógica Proposicional Inteligencia Artificial Luis Villaseñor Pineda
LÓGICA PROPOSICIONAL.
U. Diego Portales Elementos de lógica Prof. Haroldo Cornejo O.
Tablas de verdad en PHP Programación en Internet II.
Resolución, la regla de inferencia y el cálculo Raúl Monroy.
LÓGICA PROPOSICIONAL Y PREDICADOS
Campus Estado de México—Raúl Monroy Resolución, la regla de inferencia y el cálculo Raúl Monroy.
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)
Lógica de proposiciones, deducción natural
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.
Lógica proposicional.
Curso de Teoría del Autómata
Ministerio de Educación Pública Despacho del Ministro Dirección de Desarrollo Curricular Instituto Uladislao Gámez Solano Dirección de Recursos Tecnológicos.
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.
INTRODUCCIÓN A LA LÓGICA
Resultados del ejercicio % correcto prueba A confianza prueba A % correcto prueba B confianza prueba B.
Práctica especificación 1 Lógica proposicional
Argumentación Parte III.
Lógica.
Lógica proposicional Docente: Edgar Duarte.
LEYES DEL ALGEBRA PROPOSICIONAL
Unidad 7 Introducción a la lógica simbólica (Cálculo proposicional)
EL ARGUMENTO.
MÉTODOS DE DEDUCCIÓN (Partes I & II)
LÓGICA CUANTIFICACIONAL O DE PREDICADOS
Introducción a la Lógica
M.J. Frápolli. Fundamentos de Filosofía del Lenguaje
LÓGICA JURÍDICA Idea preliminar Cap. I Nicolás Mejía Gómez -Universidad Libre – Facultad de derech.
Aprendiendo a reconocer y evaluar argumentos
Integrantes: Diana Margarita Mayerly Tatiana Yojana.
RECORDEMOS CONOCIMIENTOS
Silogismos Categóricos
TEMA 2 LÓGICA Y ARGUMENTACIÓN
Principios logicos.
Los principios lógicos obedecen a la coherencia entre los elementos del pensamiento que requiere ciertas leyes o cimientos para pensar coherentemente.
 Dicho principio lógico podemos formularlo de la siguiente forma: A es A, en la cual la variable A denota un pensamiento o contenido concreto cualquiera.
La inferencia o razonamiento Marcos Romero
Transcripción de la presentación:

Semántica Proposicional: Repaso Ciertas proposiciones pueden tener otras proposiciones como sus argumentos: QUERER ( X, P ) X = RODOLFO P = COMER ( Y, Z ) Y = MARGARITA Z = MI HELADO QUERER ( RODOLFO, COMER ( MARGARITA, MI HELADO) ) Rodolfo quiere que Margarita coma mi helado. Variable de Proposición

Semántica Proposicional: Repaso Ciertas proposiciones pueden tener otras proposiciones como sus argumentos: CAUSAR ( X, P ) X = MOCTEZUMA P = COMER ( Y, Z ) Y = CORTÉZ Z = PAN CAUSAR ( MOCTEZUMA, COMER ( CORTÉZ, PAN ) ) Moctezuma hizo que Cortéz comiera pan...

Semántica Proposicional Como en la semántica léxica, hay ciertas relaciones que pueden existir entre proposiciones. –tautología (corresponde a sinonimia) –contradicción (corresponde a antonimia) –suposición (corresponde a hiponemia) –consistencia (corresponde a traslapo de sentido)

Semántica Proposicional Tautología –Dos expresiones son tautólogos si sus significados proposicionales tienen exactamente el mismo conjunto-verdad: Juán es el maestro. El maestro es Juán.

Semántica Proposicional Contradicción –Dos expresiones se contradicen si sus significados proposocionales nunca pueden ser lógicamente verdad a la misma vez: El Rey de Francia es calvo. No existe un Rey de Francia.

Semántica Proposicional Suposición (ya hemos visto): –Una expresión P supone otra Q si el conjunto-verdad de P está completamente dentro del conjunto-verdad de Q: Juán es el maestro. (P) Juán es algo. (Q)

Semántica Proposicional Consistencia: –Una expresión P es consistente con otra Q si el conjunto-verdad de P traslapa el conjunto-verdad de Q (es decir, hay consebibles situaciones en las cuales los dos son verdad): Juán es el maestro. (P) Juán es alto. (Q)

Semántica Proposicional Operadores lógicos: –Hay cinco operadores lógicos que se pueden definir en términos de conjuntos-verdad: Conjunción (Y) “  ” Disyunción (O) “U” Negación (NO) “ ~ “ Condición (SI-ENTONCES) “→” Bi-condición (SI Y SOLO SI) “sii” o “↔”

Semántica Proposicional Conjunción: –La conjunción de dos expresiones es el conjunto de todas las posibles situaciones en el mundo del discurso en que los dos son verdad: P P  Q Q

Semántica Proposicional Disyunción: –La disyunción de dos expresiones es el conjunto de todas las posibles situaciones en el mundo del discurso en que por lo menos uno es verdad: P Q P U Q

Semántica Proposicional Negación: –La negación de P consiste en el conjunto-verdad de todas las posibles situaciones que no están en el conjunto-verdad de P:

Semántica Proposicional Negación: –La negación de P consiste en el conjunto-verdad de todas las posibles situaciones que no están en el conjunto-verdad de P: P ~P

Semántica Proposicional Silogismo: –P → Q –P–P–P–P  Q Q Q Q Q P Premisa 1 Premisa 2 Conclusión

Semántica Proposicional Silogismo: –Si Socrates es un hombre, Socrates es mortal –Socrates es un hombre.  Socrates es mortal. Socrates es mortal. Socrates es un hombre

Semántica Proposicional La paradoja de Electra: –Electra conoce a Orestes. –Electra no conoce al hombre que está delante de ella. –El hombre delante de Electra es Orestes.  Electra conoce y no conoce a Orestes.

Semántica Proposicional Otra paradoja: –Lima es la ciudad más grande del Perú.  Lima es Lima. Lima. La ciudad más grande del Perú.

Semántica Proposicional Otra paradoja: ¿Cómo puede tener significado una oración como “Lima es la ciudad más grande de Perú”? Si las constantes “Lima” y “La ciudad más grande de Perú” son sinónimos, la oración debe ser tautóloga. Lima. La ciudad más grande del Perú.

Semántica Proposicional La diferencia entre el “sentido” de una expresión y su “referencia” (Frege 1915). –Expresiones como “Lima” y “La ciudad más grande del Perú” tienen la misma referencia, pero diferentes sentidos. –El sentido de una expresión es su “modo de presentación”. –El sentido de una expresión tiene que ver con la imagen mental.

Semántica Proposicional La diferencia entre el “sentido” de una expresión y su “referencia” (Frege 1915). –Por la primera vez los filósofos reconocieron la diferencia entre la extensión objectiva de una expresión, y la imagen que existe en la mente de una persona. –Normalmente personas se comunican mediante las imágenes mentales, y no las referencias objetivas de las expresiones.

Semántica Proposicional Ambigüedad: –Policía mata a un maniático con cuchillo. –Ví a un hombre con telescopio. –Ella escribió un artículo sobre la Mona Lisa. –Él lee la Biblia cada mañana. –Mi Biblia es nueva.