UNIDAD I

DEFINICION DE FORMULAS BIEN FORMADAS

 LA LÓGICA PROPOSICIONAL
• Se centra en las relaciones entre los enunciados (proposiciones
atómicas) y no en el contenido de un enunciado en particular. En
otros términos también se dice que la lógica de proposiciones sólo
está interesada en la forma de las oraciones y la manera en la que
estas se conectan con otras (proposiciones o enunciados
compuestos).

• Se le llama proposiciones compuestas a la unión de 2 o más

proposiciones atómicas mediante la utilización de conectivos (^, v, -
>, <->) para expresar afirmaciones más complejas.
• Generalmente en las proposiciones compuestas los conectivos se
repiten más de una vez o suele suceder que las proposiciones
cambian de contexto, en estos casos se pueden utilizar paréntesis
para poder transformar proposiciones del lenguaje natural al
proposicional.
 DEFINICIÓN DE FORMULAS BIEN
FORMADAS
• Las proposiciones compuestas son agrupaciones de proposiciones atómicas
unidas por conectivos lógicos, es importante aclarar que al construir
proposiciones, se requiere seguir una serie de reglas que establecen si una
fórmula está bien formada.
• Así una fórmula bien formada(fbf) es aquella que cumple los siguientes 4
puntos:
• Una proposición atómica es una fbf (forma positiva y no incluya palabras
que indiquen algun conectivo)
• Si p es una fbf, entonces la ¬p también es una fbf
• Si p y q son fbf, entonces p^q , pvq, p→q, p↔q También son fbf
• Todas las fbf se obtienen aplicando las reglas 1,2 y 3
 RECORDEMOS LA JERARQUÍA DE
CONECTIVOS

Negación ¬ +
Conjunción ^
Disyunción V
Condicional →
Bicondicional ↔ -
 DE LA EVALUACIÓN DE UNA FORMULA SE
PUEDEN DEFINIR LOS SIGUIENTES CONCEPTOS:
• Tautología:
Una formula es una tautologia si es verdadera para todas sus posibles interpretaciones.

• Contradicción:
Si todos los posibles valores de verdad de una proposición compuesta son falsos.

• Implicación:
Si una condicional es tautologia

• Equivalencia lógica:
Si una bicondicional es una tautología
 EJERCICIO: FORMALIZA EN EL LENGUAJE EL
CALCULO DE ENUNCIADOS LAS SIGUIENTES
ORACIONES DEL LENGUAJE NATURAL
1) Llueve p

2) Llueve torrencialmente en todo Mexicali p

3) Los meteorólogos no se equivocan ¬p

4) Los meteorólogos no se equivocan y hoy llueve en Mxli ¬p^q

pvq^r
5) Llueve o neva y a nadie le importa
6) Si llueve entonces habrá buena cosecha p→q

7) Si y solo si llueve entonces iremos al cine o a bailar p↔(qvr)

8) Si aprendes bien la lógica entonces seré feliz p →q

9) Si no llueve y no neva entonces hace calor o hace viento (¬p ^ ¬ q) →(rvs)

10) Si Pedro va al cine o Juan al teatro entonces llamaremos a un taxi (pvq) → r

DUDAS ?