Lógica Proposicional.

Slides:



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

Lógica de proposiciones
LOGICA Y DEMOSTRACIONES
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:
Fundamentos de Lógica ¿Qué es una proposición?
Lógica Proposicional.
LOGICA Y DEMOSTRACIONES
Razonamiento Lógico Matemático
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
LOGICA.
I.E.Entrerrios Lógica Proposional Prof. Robinson Usma B
Lógica Proposición Ejemplos
Simbolizar Luisa no es una persona alta.
UBA XXI.
Los problemas semánticos de las expresiones del Lenguaje Proposicional
Matemáticas Discretas
Fundamentos de Lógica ¿Qué es una proposición?
Lógica Proposicional.
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
Lógica proposicional.
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.
Tablas de verdad en PHP Programación en Internet II.
LOGICA DE ENUNCIADO LOGICA DE PREDICADO
Lógica Proposicional Profesor: Amador Alejandro Gonzáles Piscoya
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…
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.
CONECTIVOS LOGICOS.
Enunciados Expresan proposiciones. En principio, son verdaderas o falsas. Hoy es martes. Los niños juegan felices. Esta mañana está nublada y hace frío.
A continuación… Repaso Repaso Estructuras de Decisión Ejemplos
Estrategias Heurísticas
FORMALIZACIÓN DEL LENGUAJE NATURAL RESOLUCIÓN DE TABLAS DE VERDAD
CÁLCULO PROPOSICIONAL
Lógica.
Matemáticas Computacionales
Preposiciones compuestas
Fundamentos de la Lógica
LÓGICA PARA LA SOLUCIÓN DE PROBLEMAS
Una proposición es un enunciado u oración declarativa
LA PROPOSICIÓN ESCUELA DE OFICIALES PNP
Matemáticas Discretas
RAZONAMIENTO LÓGICO LÓGICA MATEMÁTICA.
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
ENUNCIADO: Es toda frase u oración que informa, expresa o dictamina alguna idea a través de afirmaciones o negaciones, preguntas, expresiones de emoción.
M.C. Meliza Contreras González Unidad 1: Lógica, Conjuntos y Clases Primera parte.
La primera operación que vamos a tratar es la negación Tablas de Verdad Si p es verdad,  p es falso Si p es falso,  p es verdad p  p VF FV La tabla.
TEMA: LOGICA PROPOSICIONAL Y EL LENGUAJE SIMBOLICO Mg. Alex Alarcón Mondragón.
Transcripción de la presentación:

Lógica Proposicional

CONTENIDOS Proposiciones Simples Conectivos y proposiciones compuestas. Tablas de verdad Construcción de tablas de verdad para proposiciones compuestas Formas derivadas del condicional Simbolización

¿Son proposiciones? Proposición Es un enunciado al cual se le puede asociar el concepto de verdadero o falso, pero no ambos. Ejemplos: La luna es cuadrada 7 es un número primo Las arañas son mamíferos ¿Son proposiciones? ¿Qué hora es? Por favor, cierre la puerta Qué linda mañana! X + 2 = 8 No son proposiciones, ya que no poseen valor de verdad

Proposición Las proposiciones se denotan por letras minúsculas Ejemplo: p: 2 es un número dígito q: 8 es par.

Negación Si p es una proposición, entonces “no p” es la negación de p y se denota por: ~ p Ejemplo: p: Hoy es martes ~ p: Hoy no es martes ¿Qué sucede con la negación de p, siendo p verdadero? ¿Qué sucede con la negación de p, siendo p falso?

A esta tabla se le llama “tabla de certeza de la negación” p ~ p V F Esto lo podemos escribir de una manera “compacta”, utilizando una tabla A esta tabla se le llama “tabla de certeza de la negación” Posibilidades para la proposición p p ~ p V F

Como sinónimos de no, se utilizan las siguientes expresiones: Negación Como sinónimos de no, se utilizan las siguientes expresiones: No es cierto que …….. No es el caso que……… Es falso que………… No sucede que…………….

Proposiciones compuestas Conectivos Conocido el valor de verdad de ciertas proposiciones, la lógica establece el valor de verdad de otras relacionadas con éstas. A éstas últimas se les conoce como proposiciones compuestas La Proposición Compuesta esta formada por dos o más proposiciones simples, unidas estas por conectivos lógicos.

Conectivos lógicos: Y se simboliza:  O Se simboliza: V Si… entonces … Se simboliza:  …sí y sólo si … se simboliza:

Conjunción Si p y q son proposiciones, se llama conjunción de p y q a la proposición compuesta “p y q “ y se denota por: p  q Ejemplos: p: Hoy es martes q: La luna es cuadrada r: mañana es miércoles p  q :Hoy es martes y la luna es cuadrada p  r :Hoy es martes y mañana es miércoles

Conjunción Para construir la tabla de p  q, debemos considerar las diferentes alternativas de valores de verdad para p y para q: ¿Cuáles son ? Ambas verdaderas una V y la otra F ambas falsas p q p  q V F

Además Pero Sin embargo Aunque También Aún A la vez No obstante Conjunción Se toman como “sinónimos” de la conjunción: Además Pero Sin embargo Aunque También Aún A la vez No obstante

Conjunción: p ^ q Luís estudia ,además de trabajar Luís estudió pero no aprobó Luís canta, sin embargo no baila Luís jugó futbol aunque estaba lesionado Luís juega futbol , también José Luís salió, aún no llega Luís cocina a la vez que canta Luís viajará no obstante esté sin visa Luís canta , no baila.

Conjunción: p ^ q No siempre “y” denota una conjunción ……… Ejemplo: Silvia y Nelly son hermanas Esta es una proposición (simple), en donde el “y” permite establecer la relación entre los sujetos.

Disyunción Si p y q son proposiciones, se llama disyunción de p y q a la proposición compuesta “p o q” y se denota por: p  q p q p  q V F

Disyunción Seré cantante o futbolista p: Seré cantante q: Seré futbolista Simbolización: p  q p q p  q V F

Condicional Si p y q son proposiciones, se llama condicional de p y q a la proposición compuesta “si p, entonces q” y se denota por: p  q Ejemplos: Si no llueve (entonces) iremos a la playa Si me gano la lotería (entonces) me voy de viaje Si no estudio (entonces) no aprobaré Lógica

Condicional Veamos la tabla del condicional: p  q p q p  q V F Conviene pensar en una “promesa” ..... Si no llueve (entonces) iremos a la playa

Condicional El condicional es falso, sólo cuando el antecedente es verdadero y el consecuente es falso; es decir, cuando la “promesa” no se cumple. p q p  q V F

Condicional El condicional es muy importante en matemáticas, porque los Teoremas se expresan en forma condicional. Un Teorema será un condicional verdadero con hipótesis verdadera p q p  q V

Condicional Algunas expresiones del lenguaje que indican la presencia de un condicional (p → q), son las siguientes: p es condición suficiente para q Si p, q q si p Que p supone que q Cuando p, q q es condición necesaria para p En caso de que p entonces q q sólo si p

Condicional y Teoremas En los Teoremas, al antecedente del condicional (p) se le llama Hipótesis y al consecuente (q) se le llama Tesis o Conclusión Los Teoremas requieren de una demostración; es decir, partiendo de una hipótesis verdadera, hay que demostrar que la Conclusión es verdadera.

Bicondicional Veamos la tabla del condicional: p q p q p q V F Es verdadera cuando ambas proposiciones simples son verdaderas o son falsas.

Tablas de verdad Recordemos que el valor de certeza de una proposición compuesta depende de los valores de certeza de las proposiciones simples que la componen Para analizar los valores de certeza de una proposición compuesta, representamos todas las posibilidades de valores de verdad de las proposiciones simples, en un arreglo de tabla

Ejemplo con 2 proposiciones simples Construyamos la tabla de verdad para la siguiente proposición :(pq)(p~q) 4 filas de posibilidades p q V F ~q F V pq p~q V F (pq)(p~q) F

Ejemplo con 3 proposiciones simples q r V F ¿Cuántas posibilidades tendremos? 8

Ejemplo con 3 proposiciones simples Hacer la tabla de certeza para: (rp)  ~(qp) p q r V F rp qp ~(qp) V F (r  p)  ~(qp) F V

4 = 22 filas 8 = 23 filas 16= 24 filas 2n filas En resumen Una tabla de verdad para proposiciones compuestas que contienen: 1 proposición simple… tendrá 2 filas 2 proposiciones simples 3 proposiciones simples 4 proposiciones simples ……razonando inductivamente…….. n proposiciones simples 4 = 22 filas 8 = 23 filas 16= 24 filas 2n filas

Partes de un condicional p q antecedente Condición suficiente consecuente Condición necesaria

Formas derivadas del condicional Dado el condicional directo: p q, el condicional ~ p  ~q se llama contrario y lo expresaríamos: “ si no p, entonces no q” Directo: p q Si repruebo el examen, entonces me enojaré bastante Contrario: ~ p  ~q Si no repruebo el examen, entonces no me enojaré bastante

Formas derivadas del condicional Dado el condicional directo: p q, el condicional q  p se llama recíproco y lo expresaríamos: “ si q, entonces p” Directo: p q Si repruebo el examen, entonces me enojaré bastante Recíproco: q  p Si me enojo bastante , entonces reprobaré el examen

Formas derivadas del condicional Dado el condicional directo: p q, el condicional ~ q  ~p se llama contrarrecíproco y lo expresaríamos: “ si no q, entonces no p” Directo: p q Si repruebo el examen, entonces me enojaré bastante Contrarrecíproco: ~ q  ~p Si no me enojo bastante, entonces no repruebo el examen

Formas derivadas Directo Recíproco p q q p ~ p ~ q ~ q ~ p Contrario Contrarrecíproco recíprocos contrarios contrarrecíprocos

Hallar las formas derivadas del siguiente condicional: Ejemplo Hallar las formas derivadas del siguiente condicional: Si un número es par, entonces es múltiplo de 4. ……………………………………. ¿V o F? Falso (contraejemplo: 2) Recíproco: Si un número es múltiplo de 4 entonces es par. …………………………………..¿V o F? Verdadero!

Si un número es par, entonces es múltiplo de 4. Contrario: ~ p  ~ q Ejemplo Directo: p q Si un número es par, entonces es múltiplo de 4. Contrario: ~ p  ~ q Si un número no es par, entonces no es múltiplo de 4 Verdadero!

Si un número es par, entonces es múltiplo de 4. Ejemplo Directo: p q Si un número es par, entonces es múltiplo de 4. Contrarrecíproco: ~ q  ~ p Si un número no es múltiplo de 4, entonces no es par Falso….. 2 no es múltiplo de cuatro y es par (antecedente verdadero, consecuente falso)

Escribir las formas derivadas para: a) (r Ú ~q) ® p. Ejercicios Escribir las formas derivadas para: a) (r Ú ~q) ® p. b)Si yo digo sí, ella dice no. Construye una proposición verdadera que incluya un condicional, una conjunción, una disyunción y una negación (no necesariamente en ese orden), que conste de las componentes p, q y r con todas ellas falsas.