LÓGICA PROPOSICIONAL.

Enunciado: toda frase u oración.

Proposición : enunciado o conjunto de palabras a las que se les puede asignar uno y solo uno de los
valores de verdad (VERDADERO:V Ó FALSO:F)
Expresiones No Proposicionales: enunciados a los cuales no se les puede asignar un valor de
verdad. Generalmente son las expresiones exclamativas , interrogativas, o imperativas.
Enunciados abiertos: son aquellos en cuya expresión se encuentra un valor no definido o variable.
Esto hace variar su valor veritativo según se defina el valor de la variable.

CLASIFICACIÓN DE LAS PROPOSICIONES .

Simples o atómicas
formadas por una sola oración o enunciado.se las conoce como monádicas o monarias.

Compuestas o Moleculares:
formadas a partir de proposiciones simples unidas por TÉRMINOS DE ENLACE. Según el término
de enlace o conjunciones que se usen pueden ser: conjuntivas, disyuntivas, condicionales,
bicondicionales y negativas.

OBSERVACIÓN.
A : es el número de filas con los ARREGLOS o COMBINACIONES posibles de VALORES de
VERDAD y FALSEDAD dentro de un enunciado sea simple o compuesto.
A = 2n
Donde “n” es el número de propociones simples.

SIMBOLIZACIÓN Y COMPOSICIÓN DE PROPOSIONES.

Conectivos Lógicos: son los TÉRMINOS DE ENLACE que empleamos para unir dos o más de
proposiciones simples.

NEGACIÓN ~
DISYUNCIÓN INCLUSIVA ⋁
DISYUNCIÓN EXCLUSIVA ∆ó⊻
CONJUNCIÓN ⋀
CONDICIONAL ⇒
BICONDICIONAL ⇔

La negación:
cambia el valor de verdad del enunciado

Disyunción:

Inclusiva. Se denota p v q y se lee p ó q.

Exclusiva: se le denota p ∆ q ó p ⊻ q. Y se lee “o p o q”.

Conjunción: se le denota p ⋀ q y se lee “p y q”

Implicación Condicional: Se le denota p ⇒ q y se lee “si p entonces q”
Implicación Bicondicional: Se le denota p ⇔ q y se lee “ p sí y solo si q”

Propociones Logicamente Equivalentes

Poseen tablas de verdad idénticas.
Se denota P ≡ Q

Tautologia, Contradicción y Contingencia.

Evaluacion de fórmulas: es determinar el valor veritativo de todas las posibles asignacines de

valores.

Tautología: cuando todos sus valores de verdad son siempre verdaderos. llamadas universalmente
verdaderas.

Contradicción: cuando todos sus valores de verdd son siempre falsos. Llamadas universalmente
falsas.

Contingencia: cuando no es tautología ni contradicción, tiene al menos un valor veritativo

verdadero o falso.

LEYES DEL ALGEBRA PROPOCIONAL.

LEY IDEMPOTENTE:
(ley de la identidad potente)
p⋁p≡p
p∧p≡p

LEYES CONMUTATIVAS
p⋁q≡q⋁p
p∧q≡q∧p

LEY ASOCIATIVA
p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r
p ⋁ (q ⋁ r) ≡ (p ⋁ q) ⋁ r

LEY DISTRIBUTIVA
p ∧ (q ⋁ r) ≡ (p ∧ q) ⋁ (p ∧ r)
p ⋁ (q ∧ r) ≡ (p ⋁ q) ∧ (p ⋁ r )

LEY DE EXITENCIA DE LOS ELEMENTOS NEUTROS

V∧p≡p∧V ≡p
F∧p≡p∧F ≡F
V⋁p≡p⋁V ≡V
F⋁p≡p⋁F ≡p

LEY DE ABSORCIÓN
p ∧ (p ⋁ q) ≡ p
p ⋁ (p ∧ q) ≡ p

LEYES DE COMPLEMENTACIÓN.

p ⋁ ~p ≡ V
p ∧ ~p ≡ F
~(~p) ≡ F ⇒ ~(~p) ≡ p
~V ≡F
~F ≡V

LEYES DE MORGAN
~(p ∧ q) ∧ r ≡ ~p ⋁ ~q
~(p ⋁ q) ∧ r ≡ ~p ∧ ~q

IMPLICACION MATERIAL
p ⇒ q ≡ ~p ⋁ q
p ⇒ q ≡ ~(p ∧ ~q)

DEFINICIÓN DE DOBLE IMPLICACIÓN

p⇔q≡p⇒q∧q⇒p
p ⇔ q ≡ (~p ⋁ q) ∧ (~q ⋁ p)