Fundamentos de Programación Lógica - Proposiciones

14
Fundamentos de Programación Lógica - Proposiciones - Dr. Fernando Zacarias Flores Otoño 2021

Transcript of Fundamentos de Programación Lógica - Proposiciones

Page 1: Fundamentos de Programación Lógica - Proposiciones

Fundamentos de Programación Lógica - Proposiciones -

Dr. Fernando Zacarias Flores

Otoño 2021

Page 2: Fundamentos de Programación Lógica - Proposiciones

ProposicionesUna proposición debe cumplir:

1) Ser oración

2) Ser oración aseverativa

3) Ser o bien falsa o bien verdadera

No son ejemplos de Proposiciones1.- Las oraciones interrogativas, imperativas, desiderativas, exclamativas o admirativas y las dubitativa.

2.- Las pseudoproposiciones

3.- Las funciones proposicionales

4.- Las descripciones definidas

5.- Las filosofemas

6.- Los juicios de valor

Page 3: Fundamentos de Programación Lógica - Proposiciones

Ejemplos de proposiciones

• Dolly fue la primera oveja clonada

• El átomo es una molécula

• El número 2 es par

• El espacio es relativo

• El 9 y el 27 son factores de 81

• Los números pares son divisibles por 2

• Los animales carnívoros se alimentan de plantas

Page 4: Fundamentos de Programación Lógica - Proposiciones

Ejemplos que no son proposiciones

• El triángulo es inteligente

• Eduardo es un número racional

• El principal sospechoso del 11 se septiembre de 2001 en los EEUU

• El actual presidente de la república del Perú

• Quizá llueva mañana

• Valentín es bueno

• ¿Qué es la lógica?

• ¡Casi me saco la lotería!

• En hora buena

• La realidad es duración

• La realidad de mueve en un ciclo eterno

• aseverativa

• aseverativa

• descripciones

• descripciones

• dubitativa

• dubitativa

• interrogativa

• exclamativa

• desiderativa

• filosofemas

• filosofemas

Page 5: Fundamentos de Programación Lógica - Proposiciones

Proposiciones conjuntivas

• Llevan ‘y’ o sus equivalentes: ‘e’, ‘pero’, ‘aunque’, ‘aun cuando’, ‘sin embargo’, ‘sino’, ‘tanto como’, etc.

• ‘El’ es un artículo y ‘de’ es una preposición

• El número 2 es par, pero el número 3 es impar

• Silvia es inteligente

• Tanto el padre como el hijo son melómanos

• Manuel e Ismael son universitarios

• Iré a verte aunque llueva

• La materia ni se crea ni se destruye

Page 6: Fundamentos de Programación Lógica - Proposiciones

• Pedro es tío o sobrino

• Elena está viva o está muerta

• Roberto es profesor o estudiante

• Silvia es soltera o es casada

• Un humano es hombre o mujer

• Nota: la 1ra y 3ra son inclusivas

• la 2da y 4ta son exclusivas

Proposiciones disyuntivas

Page 7: Fundamentos de Programación Lógica - Proposiciones

• Si es joven, entonces es rebelde• Es herbívoro si se alimenta de plantas• El número cuatro es par puesto que es divisible por dos• De salir el sol iremos a la playa• Nuestra moneda se devalúa solo si su valor disminuye• La física relativista fue posible porque existió la mecánica clásica

P q p q0 0 1 0 1 11 1 1 modelo modelar la formula1 0 0

Proposiciones condicionales

Page 8: Fundamentos de Programación Lógica - Proposiciones

• Estas llevan ‘sí y sólo si’ o sus equivalentes: ‘cuando y sólo cuando’, ‘si …, entonces y sólo entonces’, etc.

• Es fundamentalista sí y sólo si es talibán

• Habrá cosecha cuando y sólo cuando llueva

• Si apruebo el examen de admisión, entonces y sólo entonces ingresaré a la universidad

Proposiciones bicondicionales

Page 9: Fundamentos de Programación Lógica - Proposiciones

• Estas llevan el adverbio de negación ‘no’ o sus equivalentes:

‘nunca’, ‘jamás’, ‘tampoco’, ‘no es verdad que’, ‘no es cierto que’, ‘es falso que’, ‘le falta’, ‘carece de’, ‘sin’, etc.

EJEMPLOS

• Nunca he oído esa música

• Jamas he visto al vecino

• Es imposible que el átomo sea molécula

• Es falso que el juez sea fiscal

• Al papá de Nelly le falta caracter

Proposiciones negativas

Page 10: Fundamentos de Programación Lógica - Proposiciones

Conectivos

Page 11: Fundamentos de Programación Lógica - Proposiciones

Fórmulas Bien Formadas – fbf

Page 12: Fundamentos de Programación Lógica - Proposiciones

Fórmulas Bien Formadas – fbf

Page 13: Fundamentos de Programación Lógica - Proposiciones

Ejemplos de fbf

p (q r) p v q v rp ~p ~ q((q r) ~(q r)

Page 14: Fundamentos de Programación Lógica - Proposiciones

Tema Investigación: Logica Proposicional

1. Construir el mapa conceptual de la lógica proposicional basada en tu entendimiento y conocimiento que tengas y que puedas complmentaren las diferentes propuestas halladas en diversas fuentes de información. El mapa debe contemplar al menos lo siguiente:a) Sintaxis b) semántica c) Conectivos lógicos d) tipos de sentencias e)inferenciaf) Proceso recursivo g) satisfactibilidad h) modelos i) validéz

Fecha de entrega: 15 agosto 2021

Entregables: Para la entrega de esta investigación se deben seguir los lineamientos generales que puede hallar en: https://www.cs.buap.mx/~zacarias/FZF/Lineamientos-Inv-Exa.pdf