Fundamentos de Programacin Lgica Proposiciones Dr Fernando Zacarias

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

Proposiciones Una 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 Proposiciones 1. - Las oraciones interrogativas, imperativas, 4. - Las descripciones definidas desiderativas, exclamativas o admirativas y 5. - Las filosofemas las dubitativa. 6. - Los juicios de valor 2. - Las pseudoproposiciones 3. - Las funciones proposicionales

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 • aseverativa • El triángulo es inteligente • aseverativa • Eduardo es un número racional • descripciones • El principal sospechoso del 11 se septiembre de 2001 en los EEUU • descripciones • El actual presidente de la república del Perú • dubitativa • Quizá llueva mañana • dubitativa • Valentín es bueno • interrogativa • ¿Qué es la lógica? • exclamativa • ¡Casi me saco la lotería! • desiderativa • En hora buena • filosofemas • La realidad es duración • filosofemas • La realidad de mueve en un ciclo eterno

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

Proposiciones disyuntivas • • • 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 1 ra y 3 ra son inclusivas • la 2 da y 4 ta son exclusivas

Proposiciones condicionales • • • 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 q 00 1 01 1 10 0 modelo modelar la formula

Proposiciones bicondicionales • 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 negativas • 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

Conectivos

Fórmulas Bien Formadas – fbf

Fórmulas Bien Formadas – fbf

Ejemplos de fbf p (q r) pvqvr p~ 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 en las diferentes propuestas halladas en diversas fuentes de información. 1. Hacer una análisis crítico sobre tu mapa conceptual propuesto. Nota: Deben tener lista la presentacion de power point para la clase del 24 agosto 2020 Fecha de entrega: lunes 24 agosto 2020 Entregables: Para la entrega de dicha investigación se deben seguir los lineamientos generales para entrega de investigaciones (las indicaciones las puede hallar en: https: //www. cs. buap. mx/~zacarias/FZF/Lineamientos-Inv-Exa. pdf