ARITMÉTICA: Lógica Proposicional

LEYES DEL ÁLGEBRA PROPOSICIONAL

1. Involución TABLAS DE VERDAD

 ( p )= p
1. Negación
2. Idempotencia p p
 ( p ˅ p)= p V F
 ( p˄ p )= p F V

3. Conmutativa 2. Conjunción
 ( p ˅q)=(q ˅ p)
 ( p˄ q )=( q ˄ p ) pq p˄ q
VV V
4. Ley del Complemento VF F
 ( p˅ p )=⏉=V FV F
FF F
 ( p˄ p )=⏊=F
3. Disyunción Débil
5. Ley de Morgan
 ( p ˅ q )= p ˄ q pq p˅ q
 ( p ˄ q )= p ˅ q VV V
VF V
6. Asociativa FV V
 [ ( p ˅ q ) ˅ r ]=[ p ˅(q ˅r )] FF F
 [ ( p ˄ q ) ˄ r ]=[ p ˄(q ˄ r)]
4. Condicional
7. Distributiva pq p→ q
 VV V
[ ( p ˅ q ) ˄ r ]=[ ( p ˄r ) ˅(q ˄ r)] VF F
 FV V
[ ( p ˄ q ) ˅ r ]=[(p ˅ r )˄(q ˅ r )] FF V

8. Absorción 5. Bicondicional
 [ ( p ˅ q ) ˄ p ]= p pq p↔ q
 [ ( p ˅ q ) ˄ p ]=p ˄ q VV V
 [ ( p ˄ q ) ˅ p ]= p VF F
FV F
 [ ( p ˄ q ) ˅ p ]=p ˅ q FF V
9. Ley de la Condicional
6. Disyunción Fuerte
 p→ q= p ˅q
pq p∆q
10. Ley de la Bicondicional VV F
 p↔ q=( p →q ) ˄ ( q → p ) VF V
FV V
FF F