Universidad Industrial de Santander

Facultad de Ciencias
Escuela de Matemáticas
Solucionario Profesor: Wilson Olaya León
Fundamentos, Apuntes de clase

Ejercicios resueltos 6

1. Formalice en el lenguaje de la lógica proposicional las siguientes expresiones proposicionales, asig-

nando las variables proposicionales necesarias.

a) Si Z es un anillo o un dominio de integridad, entonces Z es un grupo aditivo y satisface la ley

cancelativa.
Asignación de variables proposicionales:
p : Z es un anillo
q : Z es un dominio de integridad
r : Z es un grupo aditivo
s : Z satisface la ley cancelativa.
Formalización: (p ∨ q) ⇒ (r ∧ s)
b) Z no tiene divisores de cero o no tiene inversos multiplicativos.
Asignación de variables proposicionales:
p : Z no tiene divisores de cero
q : Z no tiene inversos multiplicativos
Formalización: p ∨ q
c) Si Z es un dominio de integridad y no es un cuerpo, entonces no tiene inversos multiplicativos
ni divisores de cero.
Asignación de variables proposicionales:
p : Z es un dominio de integridad
q : Z no es un cuerpo
r : Z no tiene divisores de cero
s : Z no tiene inversos multiplicativos
Formalización: (p ∧ q) ⇒ (r ∧ s)
d ) Una condición necesaria para que Z sea un cuerpo es que Z tenga inversos multiplicativos.
Asignación de variables proposicionales:
p : Z es un cuerpo
q : Z tiene inversos multiplicativos
Formalización: q ⇒ p
e) Si 6 divide a 1729, entonces 2 y 3 dividen a 1729.
Asignación de variables proposicionales:
p: 6 divide a 1729
q: 2 divide a 1729
r: 3 divide a 1729
Formalización: p ⇒ (q ∧ r)
f ) 0 es un número par pero no es positivo ni negativo.
Asignación de variables proposicionales:
p: 0 es par
q: 0 es negativo
r: 0 es positivo
Formalización: p ∧ (¬q ∧ ¬r)
2. Añada paréntesis a la secuencia de sı́mbolos ¬¬p ∧ q ⇒ r ∨ ¬q de tal de tal manera que la expresión
proposicional que se forma sea la que se indica a continuación (puede haber más de una respuesta
correcta):
a) Una negación de una condicional.
¬((¬p ∧ q) ⇒ (r ∨ ¬q))
¬(¬p ∧ q) ⇒ (r ∨ ¬q)*
b) Una negación de una disyunción.
¬((¬p ∧ (q ⇒ r)) ∨ ¬q)
¬((¬p ∧ q) ⇒ r) ∨ ¬q)))
¬¬((p ∧ (q ⇒ r) ∨ ¬q)
¬¬((p ∧ q) ⇒ r) ∨ ¬q
c) Una negación de una conjunción.
¬(¬p ∧ (q ⇒ (r ∨ ¬q)))
¬(¬p ∧ ((q ⇒ r) ∨ ¬q))
¬¬(p ∧ (q ⇒ r) ∨ ¬q)
¬¬(p ∧ (q ⇒ (r ∨ ¬q)))
d ) Una negación de una negación.
¬(¬((p ∧ q) ⇒ (r ∨ ¬q))
¬(¬((p ∧ (q ⇒ r) ∨ ¬q)))
e) Una conjunción.
¬¬p ∧ (q ⇒ (r ∨ ¬q))
¬¬p ∧ ((q ⇒ r) ∨ ¬q)
f ) Una disyunción de negaciones.
¬((¬p ∧ q) ⇒ r) ∨ ¬q
¬(¬p ∧ q(⇒ r) ∨ ¬q
g) Una condicional cuyo antecedente es una conjunción.
(¬¬p ∧ q) ⇒ (r ∨ ¬q)
h) Una condicional cuyo antecedente es una negación.
¬(¬p ∧ q) ⇒ (r ∨ ¬q)
i ) Una disyunción de una conjunción y una negación.
(¬(¬p ∧ (q ⇒ r))) ∨ ¬q
j ) Una disyunción de una condicional y una negación.
((¬¬p ∧ q) ⇒ r) ∨ ¬q

3. Haga el árbol de descomposición de las siguientes expresiones proposicionales.

a) (p ⇒ q) ∨ (p ⇒ r)

2
 <p

p= ⇒ q

"
q

(p ⇒ q) ∨ (p ⇒ r) <p

(
p⇒r

#
r

b) p ⇒ ((q ∨ p) ⇒ r)

6p =q

p ⇒ ((q ∨ p) ⇒ r) 9q ∨ p

(
(q ∨ p) ⇒ r p

&
r

c) ((p ⇒ ¬r) ∧ ¬¬(p ∨ r)) ⇔ (p ⇒ ¬q)

3
 7p

p ; ⇒ ¬r

' /r
¬r

(p ⇒ ¬r) ∧ ¬¬(p ∨ r)
7

<p

"
((p ⇒ ¬r) ∧ ¬¬(p ∨ r)) ⇔ (p ⇒ ¬q) ¬¬(p ∨ r) / ¬(p ∨ r) / (p ∨ r)

"
5p r

'
p ⇒ ¬q

) /q
¬q

d ) (¬q ∨ (p ⇒ ¬r)) ⇔ ¬(p ∧ q)

7 ¬q /q

(¬q ∨ (p ⇒ ¬r))
9 ;p

'
p ⇒ ¬r

# /r
(¬q ∨ (p ⇒ ¬r)) ⇔ ¬(p ∧ q) ¬r

;p

%
¬(p ∧ q) / p∧q

#
q

Ejercicios resueltos 10

4
1. Haga la tabla de verdad de cada una de las expresiones proposicionales del numeral 3. de Ejercicios
6.
a) (p ⇒ q) ∨ (p ⇒ r)
b) p ⇒ ((q ∨ p) ⇒ r)
c) ((p ⇒ ¬r) ∧ ¬¬(p ∨ r)) ⇔ (p ⇒ ¬q)
d) (¬q ∨ (p ⇒ ¬r)) ⇔ ¬(p ∧ q)
2. Clasifique cada una de las siguientes expresiones proposicionales como tautologı́a, contradicción o
contingente.
a) Supongamos que queremos determinar que tipo es la expresión proposicional es ¬p ⇒ p.
Por un lado, no es una contradicción ya que si el antecedente es falso, ¬p es falso, entonces
hará verdadero el condicional ¬p ⇒ p ; tampoco es tautologı́a pues si el antecedente es ver-
dadero entonces el condicional sera falso, ¬p verdadero ası́ p será falso; luego la condicional
será falsa. En consecuencia la expresión proposicional es una contingencia.
b) Veamos que p ⇒ (q ⇒ p) es una tautologı́a; si p es verdadero entonces, (q ⇒ p) será siempre
verdadero, ası́ la expresión es verdadera. Por otro lado, si p es falso no importa el valor de
verdad de la condiconal pues la expresión siempre será verdadera.
c) Supongamos que p ⇒ (q ⇒ ¬p) es una contradicción, entonces p debe ser verdadera y (q ⇒ ¬p)
debe ser falsa, pero si q es falsa, la expresión serı́a una tautologı́a, y si q es verdadera entonces
una contradicción. Por lo tanto la expresión proposicional es una contingencia.
d ) Mostremos que (p ⇒ q) ∧ ¬(p ∨ q) es una contingencia;en efecto, para ¬(p ∨ q) falso entonces
(p ⇒ q) también lo es, si ¬(p ∨ q) es verdadero, entonces (p ⇒ q) es verdadero.
e) Supongamos que p ⇔ (¬q ⇔ ¬p) es tautologı́a, pero si p es verdad y q es verdad, entonces la
expresión es una tautologı́a; pero si q es falso la expresión es una contradicción.En consecuencia
la expresión es una contingencia.
f ) Veamos que (p ∨ q) ⇔ ¬(¬p ∧ q) es una tautologı́a.En efecto, si (p ∨ q) es falso entonces
¬(¬p ∧ q) también lo será, en consecuencia la expresión será verdadera; por otro lado, si (p ∨ q)
es verdadero ¬(¬p ∧ q) también es verdadero.
g) Supongamos que queremos determinar que tipo es la expresión proposicional es (¬p ∧ ¬q) ⇔
¬(p ⇔ q). Por una lado, no es una contradicción ya que si (¬p ∧ ¬q) es verdadero, entonces
¬(p ⇔ q) es falso; si (¬p ∧ ¬q) es falso entonces ¬(p ⇔ q) es falso,ası́ la expresión serı́a una
tautologı́a.En consecuencia la expresión es una contingencia.
h) Supongamos que queremos determinar que tipo es la expresión proposicional es ¬(p ⇔ q) ∨
(¬p ⇔ q).No es una contradicción pues si ¬(p ⇔ q) es verdadero, hace que si p es verdadero
entonces q sea falso y viceversa, y con esto hace que (¬p ⇔ q) sea verdadero. No es tauto-
logı́a, pues si ¬(p ⇔ q) es falso, entonces (¬p ⇔ q) será falso.En consecuencia la expresión
proposicional es una contingencia.
i ) Veamos que (p ⇒ ¬(q ∨ r)) ∧ (p ∧ (¬q ⇒ r)) es una contradicción. Supongamos que es una
tautologı́a, entonces para que ¬q ⇒ r sea verdadero, si r es verdadero y q es falso entonces
(p ⇒ ¬(q ∨ r)) para p verdadero, el valor de verdad serı́a falso; por lo tanto la expresión
proposicional es una contradicción.
j ) Veamos que (p ⇔ (¬q ∨ r)) ⇔ ¬((p ∧ q) ⇒ r) es una contradicción.En efecto, supongamos que
es tautologı́a, sin pérdida de generalidad, asumamos que (p ⇔ (¬q ∨ r)) y ¬((p ∧ q) ⇒ r) son
verdaderos, para ello ((p ∧ q) ⇒ r) debe ser falsa, entonces r es falsa y (p ∧ q) verdadero, pero
esto hace que (p ⇔ (¬q ∨ r)) sea falsa.
k ) Mostremos que (p∧q) ⇒ (p ⇒ (q∨r)) es una tautologı́a. Supongamos que es una contradicción,
entonces (p ∧ q) debe ser verdadera y (p ⇒ (q ∨ r)) debe ser falsa, para que esto ocurra (p ∧ q)
debe ser verdadero, para esto p, q debe ser verdad y (q ∨ r) debe ser falso,lo cual no puede
ocurrir en ningún caso, por consiguiente la expresión proposicional es una tautologı́a.

5
 l ) Mostremos que ((p ⇒ q)∧(r ⇒ s)) ⇔ ((p∨r) ⇒ (q∨s)) es una tautologı́a.En efecto, Si tomamos
((p ⇒ q) ∧ (r ⇒ s)) como verdadero tenemos como consecuencia que w((p ∨ r) ⇒ (q ∨ s)) es
también verdadero, pues los valores de p ∨ r va a ser siempre falso por la primera asignación.
Por otro lado si tomamos ((p ⇒ q) ∧ (r ⇒ s)) como falso entonces los valores de verdad hacen
que w((p ∨ r) ⇒ (q ∨ s)) sea falso también.
3. Encuentre dos tautologı́as, dos contradicciones y dos contingencias que incluyan las variables pro-
posicionales p y q y cuyos únicos conectivos sean:

a) Negación y conjunción
Tautologı́as:
¬(¬q ∧ ((p ∧ q) ∨ q))
¬(p ∧ ¬p)
Contradicciones:
¬q ∧ q
¬q ∧ ((p ∧ q) ∨ q)
Contingencias:
¬p ∧ q
¬p ∧ (p ∨ q)
b) Negación y disyunción

c) Negación y condicional

d ) Negación y bicondicional

4. Justifique, sin usar tablas de verdad, que las siguientes expresiones proposicionales son tautologı́as:
a) ((p ⇒ q) ∧ (p ⇒ ¬q)) ⇒ ¬p
Supongamos que es una contradicción, entonces p y ((p ⇒ q) ∧ (p ⇒ ¬q)) son verdaderas; para
esto es necesario que cada una de las partes de la conjunción sea verdadera, pero si el valor de
q es falso, el antecedente de la implicación serı́a falsa, y ası́ la expresión serı́a una tautologı́a.
b) (p ⇒ q) ∨ (r ⇒ p)
Si
c) p ⇔ ((p ∧ q) ∨ (p ∧ ¬q))
Si p es falso
d ) (p ⇒ (q ⇒ r)) ⇔ ((p ∧ q) ⇒ r)
si la primera condicional es falsa, entonces p es verdadera y q es verdadera
e) ((p ⇒ q) ∧ (q ⇒ r)) ⇒ (p ⇒ r)
Si la primera condición es falsa, entonces no importa si
f ) (p ⇒ q) ⇒ ((p ∨ r) ⇒ (q ∨ r))
Si p ⇒ q es falsa,
g) ((p ⇒ r) ∧ (q ⇒ r)) ⇒ ((p ∨ q) ⇒ r)
Si la primera condición
5. Determine si los siguientes enunciados son verdaderos o falsos para cualesquiera expresiones propo-
sicionales P y Q.

a) Si P y Q son contingencias, entonces P ∨ Q es una contingencia.

Verdadero, pues en el caso de que ambas sean verdaderas, ó una verdadera y la otra falsa
entonces la expresión será verdadera; pero cuando sean ambas falsas, la expresión será falsa.

6
 b) Si P y Q son contingencias, entonces P ∧ Q es una contingencia.
Verdadero, pues en el caso de que ambas sean verdaderas, la expresión será verdadera y en los
demás casos, será falsa por lo tanto es una contingencia.
c) Si P y Q son contingencias, entonces P ⇒ Q es una contingencia.
Verdadero, ya que en el caso de que el antecedente sea verdadero y el consecuente falso, la
expresión será falsa; en el resto de los casos será verdadera.
d ) Si P y Q son contingencias, entonces P ⇔ Q es contingencia.
Verdadero, si ambos condicionales tienen el mismo valor de verdad, entonces es verdadero de
lo contrario falsa, dado que se tienen ambos casos es una contingencia.
e) Si P y Q son contradicciones, entonces P ⇒ Q es una tautologı́a.
Verdadero, la única forma de que la expresión sea falsa es que el antecedente sea verdadero y
el consecuente sea falso, y dado que ambos son falsos , entonces la expresión es una tautologı́a.
f ) Si Q es una tautologı́a, entonces P ⇒ Q es una tautologı́a.
Verdadero, pues si el concecuente es verdadero, la expresón ya es verdadera sin importar el
valor de verdad del antecedente.
g) Si P es una contradicción, entonces P ⇒ Q es una tautologı́a.
Verdadero, la expresión condicional siempre es verdadera cuando el antecedente es falso.
h) P ∧ Q es una tautologı́a sii P y Q son tautologı́as.
Verdadero, la conjunción es verdadera siempre y cuando las expresiones proposicionales sean
verdaderas; y si las expresiones proposicionales son verdaderas, entonces la conjunción es ver-
dadera.
i ) Si P ∧ Q es una contradicción, entonces P y Q son contradicciones.
Falso, pues si Q es una contingencia el antecedente sigue siendo verdadero.
j ) Si P ∨ Q es tautologı́a, entonces P es una tautologı́a ó Q es una tautologı́a.
Verdadero,
k ) Si P ∨ Q es una contingencia, entonces P y Q son contingencias.
Verdadero,
l ) Si P ⇒ Q es una tautologı́a, entonces P es una contradicción o Q es una tautologı́a.?
Verdadero
m) Si P ⇒ Q es una contingencia, entonces P y Q son contingencias.

6. Indique en cada uno de los siguientes enunciados que clase de expresión proposicional es Q para
que el enunciado sea verdadero. En algunos casos la respuesta correcta es una negación como: ”no
es una tautologı́a”. Justifique su respuesta.
a) P es una tautologı́a y P ? Q es una contradicción.