Leyes

LEYES DEL ALGEBRA PROPOSICIONAL Ó LEYES TAUTOLÓGICAS

En lógica las tautologías son conocidas con el nombre de leyes o principios lógicos, cuya aplicación es la simplificación de esquemas moleculares.

LOS TRES PRINCIPIOS LÓGICOS CLÁSICOS:

a) Ley de identidad:
Una proposición solo es idéntica a si misma.
p ( p
p ( p

b) Ley de no contradicción
Unaproposición no puede ser verdadera y falsa a la vez

( (p ( ( p)

c) Ley del tercio excluido.
Una proposición o es verdadera o es falsa, no hay una tercera posibilidad.

p ( ( p

EQUIVALENCIAS NOTABLES

|E.1 : Ley de involución | |E.7 : Leyes del condicional |
|| | |
|( (( p ) ( p | |p ( q ( ( p ( q |
| | |( (p ( q) ( p ( (q|
|E:2 : La idempotencia | | |
| | |E.8: Leyes del bicondicional |
|p ( p ( p | ||
|p ( p ( p | |(p ( q) ( (p ( q) ( (q ( p) |
| | |(p ( q) ( (p ( q) ( ((p ( (q) |
|E.3 : Leyes conmutativas| | |
| | |E.9 : Leyes de la disyunción exclusiva: |
|p ( q ( q ( p | | |
|p ( q ( q ( p| |a) [pic] |
|p ( q ( q ( p | |b) [pic] |
| | ||
|E.4 : Leyes asociativas | |E.10 : Leyes de la absorción |
| | | |
|(p ( q) ( r ( p ( (q ( r) | |p ( (p ( q)( p |
|(p ( q) ( r ( p ( ( q ( r) | |p ( (( p( q) ( p ( q |
|(p ( q) ( r ( p ( (q ( r) | |p ( ( p ( q) ( p |
|d) (p[pic]q) [pic] r ( p [pic] (q [pic] r)| |p ( (( p ( q) ( p ( q |
| | | |
|E.5 : Leyes distributivas | |E.11 Leyes de contranposición |
|...