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

• la 2da y 4ta 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
11 1 modelo  modelar la formula
10 0
 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.

2. 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