Equivalencias lgicas

Equivalencias lgicas
Un principio lgico es el fundamento de toda verdad
lgica. Son conocidos tres principios clsicos:
Principio de identidad: Una proposicin es idntica a s
misma.
Principio de no contradiccin: Es imposible que una
proposicin sea verdadera y falsa a la vez.
Principio del tercio excluido: Una proposicin o es
verdadera o es falsa, no existe otra posibilidad.

Equivalencias notables
Son leyes lgicas que permiten la
transformacin y simplificacin de un
esquema molecular en otro ms simple,
cambiando una o ms expresiones
componentes del esquema por sus
equivalentes lgicos, sin alterar el valor de
verdad de la proposicin a la que
corresponde el esquema.

Equivalencias notables
1.- Ley de idempotencia
a) p p p
b) p p p

2.- Ley conmutativa

a) p q q p
b) p q q p
c) p q q p

3.- Ley asociativa

a) p (q r ) ( p q) r
b) p ( q r ) ( p q ) r
c) p (q r ) ( p q) r

Equivalencias notables
4.- Ley distributiva
a) p (q r ) ( p q) ( p r )
b) p ( q r ) ( p q ) ( p r )
c) p (q r ) ( p q) ( p r )
d ) p (q r ) ( p q) ( p r )

5.- Leyes de Morgan

a) ~ ( p q) ~ p ~ q
b) ~ ( p q ) ~ p ~ q

6.- Ley de la doble negacin

a) ~ (~ p) p

Equivalencias notables
7.- Ley de absorcin
a) p ( p q) p
b) p ( p q ) p
c ) p (~ p q ) p q
d ) p (~ p q ) p q

8.- Leyes de la implicacin (condicional)

a) p q ~ p q
b) ~ ( p q ) p ~ q

9.- Ley de equivalencia (bicondicional)

a) p q ( p q) (q p)
b) ( p q ) ( p q ) (~ p ~ q )

Equivalencias notables
10.- Leyes de complemento
a ) p ~ p T

T : tauto log a

b ) p ~ p

: contradicc in

c ) ~ T
d ) ~ T

11.- Disyuncin fuerte

a ) p q ( p q) ~ ( p q)

12.- Ley de expansin

a) p p (q ~ q)
b) p p ( q ~ q )

Equivalencias notables
13.- Leyes de transposicin
a ) p q ~ q ~ p
b) p q ~ q ~ p

14.- Ley de exportacin

a ) ( p q) r p ( q r )

15.- Leyes de negacin de la equivalencia

a ) ~ ( p q ) (~ p q )
b) ~ ( p q ) ( p ~ q )

Equivalencias notables
16.- Existencia del elemento neutro.
a) T p p T p
b) p p
c) T p p T T
d ) p p p

T : Pr oposicin siempre verdadera .

: Pr oposicin siempre falsa.