Leyes lógicas

1. Ley de involucion: -(-p)=p

2. Ley de la indemipotencia: p^p=p
Pvp=p
3. Ley conmutativa: p v q = q v p
4. Ley de morgan : ~(p^q)= ~p v ~q
~(p^q)= ~p v ~q
5. Ley condicional : p→q= ~p v q
~(p→q)=p ^ ~q
6. Ley del bicondicional
7. Ley de transposición
8. Ley asociativa:
9. Ley distributiva:
10. Ley de absorción:
11. Ley del tercio excluido: p v –p= T , T = tautología
12. Ley de la contradicción: p^ - p =C , C=contradiccion

13. Elemento neutro: p v c = p pvT=T

p ^ c= c p^T=p

~{[~ (~p ^ q ) v ~q] → ~(p v ~q)}-