Logica

UNIVERSIDAD NACIONAL AUTONOMA DE MEXICO ESCUELA NACIONAL PREPARATORIA

CALCULO PROPOSICIONAL
Lic. Barbara Margarita Resendis Caraza
Mtra. Barbara M. Resendis Caraza

CALCULO PROPOSICIONAL
Elcálculo Proposicional trata del estudio de la composición de enunciados mediante conectores, y se fundamenta en el principio de bivalencia, según el cual, todo enunciado o es verdadero o es falso,pero nunca ambas cosas al mismo tiempo.
Los enunciados pueden ser: •Simples o atómicos •Compuestos o moleculares

Mtra. Barbara M. Resendis Caraza

Enunciados simples o atómicos: Son enunciados queconstan de un sujeto- CopulaPredicado.

Por ejemplo: “El perro es juguetón”

“Los animales son seres vivos”
“Los mexicanos son honestos”

Mtra. Barbara M. Resendis Caraza

EnunciadosCompuestos o moleculares:
Son enunciados que se componen de dos o más enunciados simples, unidos mediante alguna conectiva lógica.

Por ejemplo: “Algunas mujeres cantan y tocan el piano” “Si los hombresson virtuosos, entonces podrán ser felices”

“Luis ama a Maria o a Carmen”
Mtra. Barbara M. Resendis Caraza

VARIABLES
En lógica proposicional solo se simbolizan las proposiciones atómicas osimples, mediante letras minúsculas (p,q,r,s,t,etc.) comúnmente conocidas como variables.

Los estudiantes son inteligentes
Los medios de comunicación son veraces

p
q

Mtra. Barbara M. ResendisCaraza

Las proposiciones moleculares o compuestas, al ser un conjunto de proposiciones simples, necesitan un conector lógico que las una.

Dichos conectores tienen una simbología especial.Mtra. Barbara M. Resendis Caraza

CONECTIVAS LOGICAS
Expresión Gramatical No, No es cierto, No es el caso, etc. Y, pero, “.”, no obstante, etc. O “Si... entonces...” Expresión lógica NegaciónConjunción Disyunción Condicional Simbolización

~¬ Λ· v → ↔ ≡

“Si y sólo si... entonces...” Bicondicional

Mtra. Barbara M. Resendis Caraza

NEGACIÓN
La negación se simboliza anteponiendo una...