Fundamentos de Programación Lógica - Proposiciones -
Dr. Fernando Zacarias Flores
Otoño 2021
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
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
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
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
• 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
• 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
• 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
• 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
Conectivos
Fórmulas Bien Formadas – fbf
Fórmulas Bien Formadas – fbf
Ejemplos de fbf
p (q r) p v q v rp ~p ~ q((q r) ~(q r)
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