LAS LEYES LGICAS

Una forma proposicional es una ley lgica si y solo si cualquiera que sea la interpretacin formalmente
correcta que se haga de la misma, se obtiene como resultado una verdad lgica. A estas formas se les
denomina Principios Lgicos y son :
ppT

Ley de Identidad
Ley de no contradiccin
Ley del tercio excluido

(p p) T
p p T

Las equivalencias tautolgicas o equivalencias lgicas

Las equivalencias tautolgicas tienen la forma AB donde A y B son enunciados (atmicos o
moleculares) que son lgicamente equivalentes. En otras palabras, si AB es tautolgica, entonces
AB.
A. Las equivalencias tautolgicas son las siguientes:
Doble negacin o involucin

p (p)

Propiedad conmutativa de la conjuncin

pq qp

Propiedad conmutativa de la disyuncin

pq qp

Propiedad asociativa de la conjuncin

p (qr) (pq)r

Propiedad asociativa de la disyuncin

p (qr) (pq) r
(pq) (p) (q)

Leyes de DeMorgan
(pq) (p) (q)
Definicin del implicador
Contrarrecproco del implicador
|Definicin del coimplicador

pq pq
pq qp
pq (pq) (qp)

Idempotencia de la conjuncin

ppp

Idempotencia de la disyuncin

ppp
p(pq)p
p(pq)p

Absorcin
p (p q ) p q
p (p q ) p q
p (q r) (p q) (p r)
Distributiva
p (q r) (p q) (p r)
Identidad

TpT

Tpp
Cpp
CpC

Tabla 1. Cuadro de equivalencias lgicas

Tabla de resumen de las equivalencias tautolgicas

DENOMINACIN

FORMA ATOMICA

FORMA MOLECULAR

p (p)

A (A)

Propiedad conmutativa
de la conjuncin

(pq) (qp)

AB BA

Propiedad conmutativa
de la disyuncin

(pq) (qp)

AB BA

Propiedad asociativa de
la conjuncin

(p (qr)) ((pq)r)

A(BC) (AB)C

Propiedad asociativa de
la disyuncin

(p (qr)) ((pq)r)

A(BC) (AB)C

((pq)) ((p) (q))

(AB) (A) (B)

(pq) ((p) (q))

(AB) (A) (B)

(pq) (pq)

AB AB

Doble negacin

Leyes de DeMorgan

Definicin del implicador

Contrarrecproco
implicador

del

(pq) (qp)

AB BA

Definicin
coimplicador

del

(pq) ((pq)(qp))

AB (AB)(BA)

El concepto de Tautologa
En esta seccin sobre tablas de verdad, nos hemos topado con el concepto de equivalencia lgica,
y dijimos que dos frmulas son lgicamente equivalentes cuando todas sus posibles interpretaciones
son iguales por tomar los mismos valores de verdad.
En este apartado hablaremos de un tipo peculiar de frmulas (enunciados moleculares), llamadas
tautologas, que tienen la peculiaridad de que todas sus posibles interpretaciones son siempre
verdaderas. Qu significa que todas las interpretaciones de un enunciado molecular sean todas
verdaderas? Pues que dichas frmulas, que de aqu en adelante llamaremos tautologas, son
verdaderas independientemente de si los enunciados atmicos que las constituyan sean
verdaderos o falsos. Una consecuencia profunda de las tautologas es que son verdaderas
independientemente de cmo sea el mundo. No son verdaderas en virtud de cmo es el mundo, sino
por su forma lgica (por la forma en que se relacionan las partculas conectivas que la constituyen).

Tautologas y tablas de verdad

Para averiguar si un enunciado molecular es tautolgico, podemos elaborar su tabla de verdad.
Estamos ante una tautologa si en la columna de su conectiva principal nos encontramos con que
todos los valores de verdad de todas las interpretaciones posibles son verdaderos.

El concepto de Contradiccin
Las contradicciones son falsas bajo cualquier posible interpretacin. En este caso tambin ocurre
que estos enunciados son falsos no porque el mundo sea de una determinada manera, sino porque
las relaciones que se establecen entre sus conectivas impiden que tengan alguna interpretacin
verdadera. Las contradicciones, en consecuencia, son falsas independientemente de los valores de
verdad que adopten las atmicas que las constituyen.
Por ejemplo, si p: "Llueve", p(p) significara "llueve y no llueve", lo que en rigor es contradictorio.
Aunque en nuestra experiencia cotidiana podamos encontrarnos situaciones en las que no sepamos a
ciencia cierta si llueve o no, es lgicamente imposible (en una lgica bivalente, como la que estamos
estudiando) que llueva y no llueva simultneamente.
El enunciado p(p) refleja de forma cristalina otra forma de definir una contradiccin: una
contradiccin consiste en afirmar un enunciado conjuntamente con su negacin.
Contradicciones y tablas de verdad : La forma ms sencilla para averiguar si un enunciado es
contradictorio consiste en elaborar su tabla de verdad. Si en la columna de la conectiva principal nos
encontramos con que todas sus posibles interpretaciones son falsas, entonces estamos ante una
contradiccin.