REGLAS DE EQUIVALENCIA

Doble negación. p  p Descripción de la regla:

Dada una proposición simple o
compuesta, esta es equivalente a la
doble negación de la misma.
Esta regla se puede aplicar a una
premisa simple a una compuesta en
su totalidad o a un parte de la
misma.

Ejemplo 1 : p  p
Ejemplo 2: (p v q)  
(p v q)
Ejemplo 3: p v q  p v
q

Conmutación (p v q)  (q v p) Descripción de la regla:

(p  q)  (q  p) Dada una proposición conjuntiva o
disyuntiva esta es equivalente a una
en donde se invierta el orden de los
conjuntos o disyuntos
Ejemplo hace calor y llueve es
equivalente a decir llueve y hace
calor.
(p  q)  (q  p)

Transposición. p  q   q p Dada una proposición condicional,

esta es equivalente a la
transpiración de sus proposiciones
simples. De manera que el
antecedente toma el lugar del
consecuente y viceversa, pero
ambos se negaran.

Por ejemplo: afirmar que si me

vacuno entonces me protejo, es
equivalente a afirmar que si no
estoy protegido entonces no me
vacuné.

De Morgan.  (p  q)  p  q La regla tiene dos acepciones, se

 (p  q)  p  q puede aplicar a la negación de una
 conjunción o al a negación de una
disyunción. Si se aplica a la negación
de una conjunción esta es
equivalente a una disyunción, pero
con sus respectivas oraciones
atómicas negadas. Mientras que si
se aplica a la negación de una
disyunción esta es equivalente a una
conjunción, pero con sus respectivas
oraciones atómicas negadas.
Ejemplo al caso 1
Si se afirma: 'no es posible que Juan
tenga 18 y 15 años al mismo
tiempo', lo cual se simbolizaría de la
siguiente manera:  (p  q), puesto
que se está señalado que hay dos
acciones que al mismo tiempo no es
posible que pasen y se debe hacer la
distinción de: p  q en donde se
está negado la acción de dos cosas
por separado. De esta forma la
primera afirmación es equivalente a
no es posible que no tenga 18 o no
es posible que tenga 15 lo cual se
simbolizaría así: p  q, pero
nunca puede ser equivalente a p 
q.

Ejemplo al caso 2.
Si se afirma que ‘no es posible ser
secretario de estado o presidente al
mismo tiempo’, lo cual se simboliza
de la siguiente manera:  (p  q) eso
quiere decir, que no eres secretario
de estado y tampoco eres
presidente. p  q.

Implicación p  q  p  q
material. Descripción de la regla.
Dado un enunciado condicional este
es equivalente a una disyunción, en
donde el antecedente de del
enunciado condicional queda
negado en la disyunción y el
 consecuente se mantiene con el
mismo valor de verdad.
Por ejemplo: si se afirma que si
llueve se moja el suelo; eso es
equivalente a decir: no llueve o se
moja el suelo.
Nota: esta es una de las reglas de
equivalencia menos intuitiva, pero
una forma de evidenciar la
equivalencia entre ambas
proposiciones es mediante una
demostración formal con tablas de
verdad.

Equivalencia p  q (p q) (q  p) Descripción de la regla.

material (Regla Dado un enunciado bicondicional
del este es equivalente a un enunciado
bicondicional) conjuntivo en donde sus coyuntos
son dos enunciados condicionales,
formados por las proposiciones
atómicas del enunciado
bicondicional, solo que tanto el
antecedente como el consecuente
tendrán un orden opuesto. El
antecedente del primero enunciado
condicional será el consecuente del
segundo y el consecuente del
primero será el antecedente del
segundo enunciado condicional.
Ejemplo: Decir que tendré cáncer si
y solo lo confirman los análisis del
laboratorio, es equivalente a decir,
que si tengo cáncer entonces lo
confirmaron los análisis del
laboratorio, y si los análisis del
laboratorio lo confirman entonces
tengo cáncer.