Lógica

matemática
Delia Peña
Operadores
Hay tres clases:
Aritméticos
Comparación
Lógicos
Operadores lógicos
LLAMADOS TAMBIÉN CONECTIVOS LÓGICOS EN
PROPOSICIONES COMPUESTAS
Existen conectivos u operadores lógicos que
permiten formar proposiciones compuestas, es
decir, formadas por varias proposiciones.
 En el lenguaje común utilizamos
proposiciones más complejas, por lo que
es necesario definir sus nexos.
A estos se los denomina conectores u
operadores lógicos.
Negación(operador not)
Definición y ejemplos
Su función es negar la proposición.
Esto significa que si alguna
proposición es verdadera y se le
aplica el operador not se obtendrá
su negación (falso) y viceversa.
Este operador se indica por medio
del símbolo: ’ , ~ ,¬.
• Sea a una proposición y la negación de a,
representada simbólicamente por ¬a, es una nueva
proposición. El operador cambia el valor de verdad de
la proposición:

• Si a es proposición verdadera, ¬a es falsa y si a es una

proposición falsa, ¬a es verdadera.
 La negación se presenta
gramaticalmente con los siguientes
términos: “no”, “ni”, “no es cierto que”,
“no es verdad que”, etc.
Ejemplos

Si se tiene la proposición:
a: Tengo un billete de veinte
dólares.
La negación de a es:
¬a: No tengo un billete de
veinte dólares.
Si se tiene la proposición:
b: No quiero hacer la excursión.
La negación de b es:
¬b: Quiero hacer la excursión.
• Exprese las negaciones de las siguientes proposiciones.
• (a) p: "2+2 = 4“
~p es la proposición "no es cierto que 2+2 = 4," o más
sencillamente, ~p: "2+2 4."

• (b) q: "1 = 0“
~q: "1 0."

• (c) r: "Los diamantes son el mejor amigo de una perla.“

~r: "Los diamantes no son el mejor amigo de una perla".

 p p
Tabla de
verdad 0 1
1 0
Conjunción
Definición y ejemplos
Se utiliza para conectar dos proposiciones
que se deben cumplir para que se pueda
obtener un resultado verdadero. Se le
conoce como multiplicación lógica y su
símbolo es ∧ (and).
Sean a y b proposiciones, la conjunción entre a y b, se
representa simbólicamente a ∧ b. Este operador lógico
relaciona dos proposiciones para formar una nueva,
donde la proposición resultante será verdadera
solamente cuando el valor de verdad de ambas
proposiciones es verdadero.
Gramaticalmente se vieron los términos comúnmente
utilizados como los son: “y” y sus equivalentes como
“e”, “pero”, “aunque”, “aún cuando”, “tanto...como”,
“sino”, “ni...ni”, “sin embargo”, “además”, etc.
 Si se tienen las proposiciones:

a: Obtengo buenas calificaciones.

b: Gano un certificado de honor.
 La conjunción entre a y b es:

a ∧ b: Obtengo buenas
calificaciones y gano un certificado
de honor.
Si se tienen las proposiciones:

a: Trabajo muchas horas.

b: Recibo un alto sueldo.
La conjunción entre a y b es:

a ∧ b: Trabajo muchas horas,

pero recibo un alto sueldo.
p q pq
0 0 0
0 1 0
1 0 0
1 1 1
Disyunción
Definición y ejemplos
Disyunción inclusiva
Con este operador se obtiene un resultado
verdadero cuando alguna de las proposiciones
es verdadera.
Se conoce como suma lógica y su símbolo es ∨
(or).
 Este operador lógico relaciona dos
proposiciones para formar una nueva,
representada simbólicamente por a ∨ b.
Esta nueva proposición resultante será falsa
únicamente cuando el valor de verdad de ambas
proposiciones componentes es falso.
 Si se tienen las proposiciones:

a: Tengo un libro de matemáticas.

b: Tengo un libro de anatomía.
La disyunción inclusiva
entre a y b es:

a ∨ b: Tengo un libro de
matemáticas o uno de
anatomía.
 p q pq
0 0 0
0 1 1
1 0 1
1 1 1

Con este operador se obtiene un resultado verdadero cuando alguna de

las proposiciones es verdadera. O será falso si las dos proposiciones son
falsas
 En este ejemplo existe la posibilidad de tener ambos
libros por lo que se trata de una disyunción inclusiva.
Para el siguiente ejemplo debemos recordar la
existencia de la disyunción exclusiva donde dos
situaciones son mutuamente excluyentes entre sí y se
representa simbólicamente por a ⊻ b.
Disyunción exclusiva
Este operador lógico relaciona dos proposiciones para formar
una nueva donde la proposición resultante será verdadera
solamente cuando una de las proposiciones componentes es
verdadera.

Y se representa simbólicamente por : ⊻ , ∆ .

Si se tienen las proposiciones:

a: Estoy en Cuenca.
b: Estoy en Guayaquil.
 La disyunción exclusiva entre a y b es:

a ⊻ b: O estoy en Cuenca o estoy en Guayaquil.

• Ejemplo.
• Sea el siguiente enunciado: puedo tomar la carretera federal o
tomar la autopista de zona
Sean:
• q: Tomar la carretera federal.
• r: Tomar la autopista de Zona.

p ⊻ q , Puedo tomar la carretera federal o tomar la autopista

de Zona.
 p q pq
0 0 0
0 1 1
1 0 1
1 1 0

La proposición resultante será verdadera solamente cuando una de las

proposiciones componentes es verdadera
Condicional
Definición y ejemplos
Este operador lógico es también denominado enunciación hipotética o
implicación y su representación simbólica es a→b.

En la proposición a → b, a es el antecedente y b es el consecuente.

La proposición resultante será falsa solamente cuando el valor de

verdad del antecedente sea verdadero y el valor de verdad del
consecuente sea falso.
 Si se tienen las proposiciones:

a: Luis gana la lotería.

b: Luis dona la mitad del premio.
 La condicional entre a y b es:

a→b: Si Luis gana el concurso, dona la

mitad del premio.
 Parafraseando la condicional, se tiene:

Luis dona la mitad del premio siempre que gane la lotería.

Cuando Luis gane la lotería, dona la mitad del premio.

La promesa de Luis se quebrantará únicamente si gana la

lotería y no dona la mitad del premio.
 p q pq
0 0 1
0 1 1
1 0 0
1 1 1

La proposición resultante será falsa solamente cuando el valor de verdad del

antecedente sea verdadero y el valor de verdad del consecuente sea falso.
Variaciones de la
condicional
Definición y ejemplos
Existen otras proposiciones relacionadas a la condicional
a→b:

La recíproca: b→a
La contrarrecíproca: ¬b→¬a.
La inversa: ¬a→¬b
 A partir de la siguiente
proposición:

“Si es un autobús, entonces es un

medio de transporte.”

¿Cuáles serían las variaciones de

la condicional?
Recíproca: Si es un medio Inversa: Si no es un
de transporte, entonces autobús, entonces no es
es un autobús. un medio de transporte.

Contrarrecíproca: Si no es
un medio de transporte,
entonces no es un
autobús.
 Cabe recalcar que una proposición puede
ser reemplazada por su contrarrecíproca sin
que se afecte su valor de verdad, lo cual no
se cumple con la inversa o la recíproca.
Bicondicional
Definición y ejemplos
 Este operador también se lo conoce como
doble implicación y se representa
simbólicamente por a↔b.
Esta proposición bicondicional será verdadera
cuando los valores de verdad de ambas
proposiciones sean iguales.
Cabe recalcar también que será falsa cuando
los valores de verdad de ambas proposiciones
sean diferentes.
 Dadas las proposiciones:

a: Un triángulo tiene tres lados.

b: Un triángulo tiene ángulos internos
que en total suman 180 grados.
 La bicondicional entre a y b es:

a↔b: Un triángulo tiene tres lados y

tiene ángulos internos que en total
suman 180 grados.
 p q pq
0 0 1
0 1 0
1 0 0
1 1 1

Esta proposición bicondicional será verdadera cuando los valores de verdad de

ambas proposiciones sean iguales.
Reglas de inferencia
 Las reglas de inferencia sirven para deducir
conclusiones lógicas a partir de premisas. La
conclusión en este sentido es una
consecuencia lógica de las premisas. Si cada
paso que se da para llegar a esa consecuencia
lógica se encuentra permitido por una de las
doce reglas de inferencia, entonces habremos
hecho un ejercicio de deducción.
Doble negación
(DN)
Si niego algo dos veces,
entonces lo afirmo.
 a: Llueve

Aplicando la doble negación:

¬¬a: No (No llueve)

Se tiene la siguiente conclusión:

¬¬a ≡a Entonces llueve.

Advertencia: cuidado con el uso de paréntesis, la
negación de a→b será ¬(a→b) y no ¬a→b;
utilizarlos puede modificar enteramente el
enunciado original.
La aplicación de las reglas de inferencia es
ilimitada en el sentido de que no solo se pueden
utilizar cuantas veces sea necesario, sino además
se pueden combinar en una sola demostración.
Adjunción
(ADJ)
Definición y ejemplos
Si disponemos de dos enunciados
afirmados como proposiciones
separadas, entonces puedo
unirlas mediante una conjunción.
 Se tienen dos
proposiciones afirmadas:

a: María es doctora.
b: Roberto es ingeniero.
 Aplicando la regla de
adjunción a las dos
proposiciones:

a ∧ b: María es doctora y
Roberto es ingeniero.
Modus Ponens
(MP)
Definición y ejemplos
Modus Ponens (MP)

La regla Modus Ponens significa “afirmando afirmo” y en

un condicional establece que si el antecedente se afirma
entonces necesariamente se afirma el consecuente.
 Sean las proposiciones:

a: Luis está en el partido de fútbol.

b: Luis está en el estadio.

Y el condicional de las proposiciones o

conclusión, aplicando la regla es:

a→b: Luis está en el partido de fútbol

entonces Luis está en el estadio.
La regla Modus Ponens (MP) permite demostrar
b a partir de a→b y a. Esta regla se aplica a la
forma de las proposiciones, es decir, que
siempre que se dé una proposición condicional y
se dé el antecedente de aquella condicional, se
sigue precisamente el consecuente.
Modus Tollens (MT)
Definición y ejemplos
Modus Tollens (MT)

Esta regla significa “negando, niego” y tiene referencia

a una propiedad inversa de las condicionales. Si de un
condicional, aparece como premisa el en consecuente
negado (el efecto), eso nos conduce a negar el
antecedente (la causa), puesto que, si un efecto no se
da, su causa no ha podido darse.
 Se tienen las siguientes proposiciones:
a: Tiene luz propia.
b: El astro es una estrella.

El siguiente condicional resultante:

a→b: Si tiene luz propia, entonces el astro es una
estrella.
¬b: El astro no es una estrella.

Y la proposición final o conclusión, aplicando la

regla es:
¬a: No tiene luz propia.
Disyunción (D)
Definición y ejemplos
 Si disponemos de dos enunciados como
premisas separadas, entonces puedo unirlos
mediante una disyunción (o).
 Se tienen dos
proposiciones afirmadas:

a: María es doctora.
b: Roberto es ingeniero.
 Aplicando la regla de
disyunción a las dos
proposiciones:

a ∨ b: María es doctora o
Roberto es ingeniero.
Simplificación
(SIMP)
Definición y ejemplos
Es la operación inversa a la adjunción,
si se tiene una conjunción, se pueden
separar las proposiciones.
 Se tiene la siguiente conjunción:

a ∧ b: María es doctora y Roberto es

ingeniero.
 Aplicando la regla de
simplificación:

a: María es doctora.
b: Roberto es ingeniero.
 Advertencia: tanto en las reglas de la conjunción como en las de
la disyunción, tener mucho cuidado con el paréntesis para aplicar
la regla de la simplificación.
En el caso de (a ∧ b) → c, no puedo simplificar la premisa, porque
el conectivo lógico dominante es la implicación. Es incorrecto
decir que entonces tendría a → c. Si, por el contrario, la
proposición fuera a ∧ (b → c), entonces puedo simplificar la
premisa obteniendo a u obteniendo b → c, porque el conectivo
lógico principal es la conjunción.
Adición (ADI)
Definición y ejemplos
 Si disponemos de un enunciado
verdadero, se le puede adicionar
mediante la conjunción cualquier otra
proposición:
 a: Roberto es ingeniero.

Aplicando la regla, agregamos cualquier otra

proposición:

a ∧ b: Roberto es ingeniero y Luis es cocinero.

Silogismo
hipotético (SH)
Definición y ejemplos
Si disponemos de dos premisas que son implicaciones y el
consecuente de la primera es el antecedente de la
segunda, podemos concluir una implicación entre el
antecedente de la primera y el consecuente de la tercera:
Como regla general, la notación de los hipotéticos es la siguiente:

1era premisa: P —–> Q

2da premisa: Q —-> R
Conclusión: P —-> R.
 Se tienen las siguientes
proposiciones:

a: Hace frío.
b: Luis va a caminar al parque.
c: Luis arregla la casa después de
almorzar.
Por lo que se forman las siguientes
proposiciones:

a → b: Si hace frío entonces Luis va a

caminar al parque.

b → c: Si Luis va a caminar al parque

entonces Luis arregla la casa después
de almorzar.
Aplicando el silogismo hipotético se
tiene como conclusión:

a → c: Si hace frío entonces Luis

arregla la casa después de almorzar.
Silogismo
disyuntivo (SD)
Definición y ejemplos
 Para utilizar dicha ley se requieren 3 premisas,
una disyunción y dos condicionales. Donde la
disyunción dada está compuesta por los
antecedentes de ambas condicionales, y la
conclusión será la disyunción compuesta por los
dos consecuentes de las premisas dadas.
Se tienen las siguientes proposiciones:

a: Llueve.
b: El campo está seco.
c: Jugaremos dentro de la casa.
d: Jugaremos fútbol.
Con estas proposiciones se forman otras proposiciones para
aplicar la regla:

a ∨ b: Llueve o el campo está seco.

a → c: Si llueve entonces jugaremos dentro de la casa.

b → d: Si el campo está seco entonces jugaremos fútbol.

Aplicando el silogismo disyuntivo se tiene la conclusión:

a ∨ d: Jugaremos dentro de la casa o jugaremos fútbol.

Lógica matemática
Delia Peña
 Ejemplos de Traducción a forma simbólica de algunos
enunciados compuestos del lenguaje natural:

“Si llueve se terminarán los problemas de sequía y no hará falta más dinero”
• llueve p
• se terminarán los problemas de sequía q
• hará falta más dinero r
p → q ∧ ¬r
• “Sólo si distingues bien los diferentes acentos o te dice su lugar de procedencia sabrás si es
gallego o portugués”
• distingues bien los diferentes acentos p
• te dice su lugar de procedencia q
• sabrás si es gallego o portugués r
r→p∨q
“Para que llueva o nieve es necesario que se den las condiciones
climáticas adecuadas”
• llueve p
• Nieva q
• darse las condiciones climáticas adecuadas r
p∨q→r
Consistencia: premisas
inconsistentes
Consistencia
• Un conjunto de enunciados es consistente cuando existe al
menos una situación que los hace simultáneamente verdaderos.
• Conjunto de fórmulas del que no se deriva en un cálculo
determinado ninguna contradicción.
• En lógica, la consistencia o consistencia lógica es una propiedad
que pueden tener los conjuntos de fórmulas lógicas.
Intuitivamente, un conjunto de fórmulas es consistente cuando no
contiene una contradicción, es decir, que si p puede ser deducido
del conjunto entonces su negación ￢p no puede ser deducida del
mismo conjunto
 Se tienen las siguientes proposiciones:

Richard Nixon ganó las Mi hermana pequeña Luis es más alto que
elecciones puede levantar un peso Roberto y Luis no es
presidenciales de 1960. de dos toneladas. más alto que Roberto.
 Se puede decir que todas las
proposiciones son falsas pero cada una
con distinta razón.
 Entonces…

Richard Nixon NO ganó Ningún ser humano levanta dos No puede ser cierta, nunca y
las elecciones toneladas. En el espacio podría, en ninguna circunstancia. Es
presidenciales de 1960. por lo que podría ser verdadero. lógicamente, imposible.
Se trata de una contradicción:

a: “Luis es más alto que Roberto”

⌐a: “Luis no es más alto que
Roberto.”

Proposición: a ∧ ⌐a
• Dos proposiciones son contradictorias si una es la negación de
la otra.
• Una contradicción es la conjunción de una proposición y su
negación. Siempre es falsa.
• En algunos casos no interesa deducir una conclusión en
particular, pero si un conjunto de proposiciones es consistente
o inconsistente.
• Para demostrar que unas premisas son inconsistentes se
deduce una contradicción.
Deducción
proposicional
 Con el conocimiento de las reglas de inferencia se
puede entrar al mundo de las deducciones formales.
Hemos aprendido cómo demostrar que los
razonamientos son válidos, y decimos que son
válidos entendemos que la conclusión es
consecuencia lógica de las premisas.
“Una deducción formal es una
serie de proposiciones o pasos,
en la cual cada paso o es una
premisa o está deducido
directamente de los pasos que
le preceden por medio de una
determinada regla.”
 Tomemos a la deducción formal como la realización
de un juego donde las reglas de inferencia te ayudan
a hacer una deducción simple. El objetivo del juego
es alcanzar una conclusión y el punto de inicio es el
conjunto de premisas. Las premisas están justificadas
por la regla de premisas.
Regla de
premisas

Una premisa puede ser

introducida en cualquier punto
de una deducción
 La aplicación de las reglas no
depende del uso que se haya
hecho de las mismas en líneas
anteriores. Se empieza con un
conjunto de premisas para luego
pasar a una conclusión particular.

Cada movimiento que se hace,

cada línea que se escribe debajo y
ha de ser permitido por una regla
de inferencia definida.
 Si la ballena es un mamífero, entonces toma
oxígeno del aire. Si toma su oxígeno del aire,
entonces no necesita branquias. La ballena es un
mamífero y vive en el océano. Por tanto, no
necesita branquias.
 La conclusión que se desea demostrar o
deducir es la proposición «no necesita
branquias». (La palabra, «por tanto», pone de
manifiesto que la proposición final es la
conclusión del razonamiento.)
 El primer paso es simbolizar el razonamiento de manera
que la deducción sea perfectamente clara:

a: “La ballena es un mamífero.”

b: “Toma su oxígeno del aire.”
c: “Necesita branquias.”
d: “Habita en el océano.”
 Premisas

1. a→b La ballena es un mamífero entonces toma su oxígeno del

aire
2. b→⌐c Si toma su oxígeno del aire entonces no necesita branquias
3. a ∧ d La ballena es un mamífero y habita en el océano
4. conclusión: ⌐c No necesita branquias
 Deducción proposicional con la aplicación
de las reglas de inferencia:

1. Premisa: a→b
Premisas dadas y no
2. Premisa: b→⌐c deducidas; por lo tanto,
no necesitan justificación.
3. Premisa: a ∧ d

4. a Justificadas
5. b por las reglas
de inferencia
6. ⌐c
 Deducción proposicional con la aplicación
de las reglas de inferencia:

1. Premisa: a→b
2. Premisa: b→⌐c Se deduce de la línea
3 por la regla de
3. Premisa: a ∧ d simplificación
Se obtiene de las líneas
4. a 1 y 4 aplicando la regla
5. b modus ponens
Se ha deducido por
6. ⌐c modus ponens de las
líneas 2 y 5.
Puesto que esto representa la conclusión deseada, la
deducción está completa

6. ⌐c

Se ha demostrado que es consecuencia lógica de las tres premisas

del razonamiento. Así, puesto que ⌐c representa la proposición «No
necesita branquias» en el razonamiento puesto como ejemplo se
ha demostrado que la conclusión de aquel razonamiento es válida.
Este es un ejemplo de una deducción formal.
 Si Tomás tiene diecisiete años, entonces Tomás tiene la
misma edad que Juana. Si Joaquín tiene distinta edad que
Tomás, entonces Joaquín tiene distinta edad que Juana.
Tomás tiene diecisiete años y Joaquín tiene la misma edad
que Juana. Por tanto, Joaquín tiene la misma edad que Tomás
y Tomás la misma que Juana.
 El primer paso es simbolizar el razonamiento de manera
que la deducción sea perfectamente clara:

a: “Tomás tiene diecisiete años.”

b: “Tomás tiene la misma edad que Juana.”
c: “Joaquín tiene la misma edad que Tomás.”
d: “Joaquín tiene la misma edad que Juana.”
Premisas

Premisa: a→b
Premisa: ⌐c→⌐d
Premisa: a ∧ d
 Deducción proposicional con la aplicación
de las reglas de inferencia:
Se deduce de la línea
1. Premisa: a→b 3 por la regla de
simplificación
2. Premisa: ⌐c→⌐d
Se obtiene de las líneas
3. Premisa: a ∧ d 1 y 4 aplicando la regla
modus ponens
4. a
Se deduce de la línea 3
5. b por la regla de
simplificación
6. d
Se deduce de las líneas
7. c 2 y 6 por modus tollens
8. c∧b Es la adición de las
líneas 5 y 7.
Lógica matemática
Delia Peña
Métodos de
demostración
En matemáticas, a menudo nos ocupamos de la
demostración lógica de ciertas afirmaciones.
Cualquier sistema lógico debe empezar con
algunos términos fundamentales, definiciones, y
axiomas o postulados.
 A partir de ello, se pueden deducir por
razonamientos válidos otras afirmaciones. Para
llegar a demostrar algo, es necesario justificar cada
paso de la demostración de manera lógica.
Demostracione
s directas
También conocidas como “marcha adelante”

Para demostrar que a→b, se examinan los

elementos que aparecen en a; y, con la atención
puesta en b, se deduce b a partir de una secuencia
de pasos lógicos que comience en a y termine en b.
Ejemplo

Demostrar la Ley del MODUS PONENDO PONENS [

(p→q) ∧ p ] ⇒ q utilizando el método de demostración
directa.
Solución

Aplicamos en dos oportunidades la Ley de la

Implicación: (a→b) ≡ (¬a∨ b )
¬[(p→q)∧p]∨q
¬[(¬p∨q)∧p]∨q
Aplicamos la de Conjunción: ¬(a∧b) ≡ (¬a∨¬b)
[¬(¬p∨q)∨¬p]∨q
Aplicamos la de Disyunción: ¬(a∨b) ≡ (¬a∧¬b)
[(¬(¬p)∧¬q)∨¬p]∨q
Solución

Aplicamos la Doble Negación: ¬(¬a) ≡ a

[(p∧¬q)∨¬p]∨q
Aplicamos la Ley Conmutativa de la Disyunción: (a∨b) ≡ (b∨a)
[¬p∨(p∧¬q)]∨q
Aplicamos la Ley Distributiva: [a∨(b∧c)] ≡ [(a∨b)∧(a∨c)]
[(¬p∨p)∧(¬p∨¬q)]∨q
Solución

Aplicamos la Ley del Tercero Excluido: (a∨¬a) ≡ 1

[(1)∧(¬p∨¬q)]∨q
Aplicamos la Ley de Identidad de la Conjunción:
(1∧a) ≡ a
(¬p∨¬q)∨q
Aplicamos la Ley Asociativa de la Disyunción:
[(a∨b)∨c] ≡ [a∨(b∨c)]
¬p∨(¬q∨q)
Solución

Aplicamos la Ley del Tercero Excluido: (a∨¬a) ≡ 1

¬p∨(1)
Aplicamos la Ley de Absorción de la Disyunción:
a∨1 ≡ 1
1
 Queda demostrado que la forma
proposicional es tautológica,
independientemente del valor de
verdad que tomen las variables
proposicionales.
Demostración
por
contrarrecíproc
a
Este tipo de demostración es conocido como “supongamos
que no”.
Está basada en la equivalencia que vimos entre (p →q) y
(¬q→¬p).
Ejemplo

Demostrar la Ley del SILOGISMO DISYUNTIVO

[(p∨q)∧¬p]⇒q utilizando el método de
demostración por contrarrecíproca.
Solución

Aplicamos la Ley Contrarrecíproca: (a→b) ≡ (¬b→ ¬a)

¬q → ¬[(p ∨ q)∧¬ p]
Aplicamos la Ley de la Implicación: (a→b) ≡ (¬ a ∨ b)
¬(¬q) ∨ {¬[(p ∨ q)∧¬ p]}
Aplicamos la Ley Involutiva (Doble Negación): ¬(¬ a) ≡ a
q ∨{¬[(p ∨ q)∧¬ p]}
Solución

Aplicamos la Ley de De Morgan de la

Conjunción: ¬(a∧b) ≡ (¬a∨¬b)
q ∨[¬ (p ∨ q)∨¬ (¬ p)]
Aplicamos la Ley Involutiva (Doble Negación):
¬(¬a) ≡ a
q ∨[¬ (p ∨ q)∨ p]
Aplicamos la Ley de De Morgan de la
Disyunción: ¬(a∨b) ≡ (¬a∧¬b)
q ∨[(¬ p ∧ ¬q)∨ p]
Solución

Aplicamos la Ley Conmutativa de la Disyunción:

(a∨b) ≡ (b∨a)
q ∨[ p ∨ (¬ p ∧ ¬ q)]
Aplicamos la Ley Distributiva: [a ∨ (b∧c)] ≡ [(a ∨ b) ∧
(a ∨ c)]
q ∨[( p ∨ ¬p) ∧ ( p ∨ ¬q)]
Aplicamos la Ley del Tercero Excluido: (a ∨ ¬a) ≡ 1
q ∨[ 1∧ ( p ∨ ¬q)]
Solución

Aplicamos la Ley de Identidad de la Conjunción: (1∧

a) ≡ a
q ∨ ( p ∨ ¬q)
Aplicamos la Ley Conmutativa de la Disyunción:
(a∨b) ≡ (b∨a)
q ∨ (¬q ∨ p)
Aplicamos la Ley Asociativa de la Disyunción: [(a ∨
b) ∨ c] ≡ [a ∨ (b ∨ c)]
(q ∨ ¬q) ∨ p
Solución

Aplicamos la Ley del Tercero

Excluido: (a ∨ ¬a) ≡ 1
(1) ∨ p
Aplicamos la Ley de Absorción
de la Disyunción: a ∨ 1 ≡ 1
1
Con lo que se demuestra que la contrarrecíproca de la
forma proposicional dada resultó tautológica.
Como la contrarrecíproca es equivalente a la forma
proposicional original, ésta también es una tautología.