Lógica Proposicional

Es la rama de la lógica matemática que estudia a las proposiciones

PROPOSICION LOGICA
es un enunciado coherente que puede ser verdadero o falso.
SIMPLE O ATOMICA: Si no tiene conectivo lógico ni el adverbio de negación.
COMPUESTA O MOLECULAR: Si contiene conectivos lógicos o adverbio de negación.
p: Juan es buen cocinero ... (simple)
~ p : Juan no es buen cocinero ... (compuesta)
q ^ r : Luis es abogado y buen futbolista ... (compuesta)
CONECTIVOS LOGICOS
Enlazan prop. simples formando una compuesta, o cambiar el valor de verdad de ella.

Nombre símbolo Esquema se lee

negación ~ ~p No p

disyunción débil ∨ p ∨q poq

disyunción fuerte Δ pΔq opoq

conjunción ∧ p∧q pyq

condicional → p→q Si p entonces q

bicondicional ↔ p↔q p si y solo si q

 TABLA DE VERDAD
p q ~p p ∨q p∧q p→q p↔q pΔq

V V F V V V V F

V F F V F F F V

F V V V F V F V

F F V F F V V F

PROPOSICIONES LOGICAMENTE EQUIVALENTES

≡
son equivalentes ( ) si tienen la misma secuencia de valores de verdad en su matriz
1) Involución o Doble Negación ~ (~ p) ≡p ≡
10) Ley de La Condicional p  q ~ p  q
∧ ≡ ≡
~ (p  q) p  ~ q
2) Idempotencia (p p) p
≡ ≡
11) Ley de La Contrarrecíproca p  q ~ q  ~ p
≡
(p  p) p
3) Conmutativa (p  q) (q  p) ≡
12) Ley de La Bicondicional (p  q) [(p  q)  (q  p)]
≡
(p  q) (q  p) ≡
(p  q) [(~ p  q)  (~ q  p)]
≡
4) Asociativa [(p  q)  r] [p  (q  r)] ≡
(p  q) [(~ p  ~ q) v (p  q)]
≡
[(p  q)  r] [p  (q  r)] ≡
(p  q) [~ (p  q) v (p  q)]

≡ ≡
13) Ley de la Disyunción Fuerte p Δ q ~ (p  q)
5) Distributiva [(p  q)  r] [(p  r) v (q  r)]
≡ ≡
p Δ q (~ p  q)
[(p  q)  r] [(p  r)  (q  r)]
≡
p Δ q (p v q)  ~ (p  q)
6) Leyes de De Morgan
≡
~ (p  q) (~ p  ~ q)
≡
pΔV ~p

≡
~ (p  q) (~ p  ~ q)
≡
7) Ley de la Identidad (p  V) p (p  F) F ≡
≡
(p  V) V (p  F) p ≡
≡
8) Ley del Complemento(p  ~ p) F (p  ~ p) V ≡
9) Leyes de Absorción [p  (p  q)] ≡p
p  (p v q)] p≡
≡
[p  (~ p  q)] (p  q)
≡
[p  (~ p v q)] (p  q)