ACTIVIDAD 3

Con los insumos presentados, construya un criterio personal de estas interrogantes:

1) Si p y r son proposiciones verdaderas y q es falsa, determine el valor de verdad de:

p: verdadero q: falso r: verdadero

a) [ ( p ∧ ∼ q ) v ∼ r ] ⇒ q
(v ∧ ~ v)
vv∼f
v⇒f
f
El valor de verdad de la proposición es falso, ya que como muestra el proceso de
resolución, de la tabla condicional establece que es falso cuando el antecedente es
verdadero y el consecuente es falso.
b) [ (∼ r v q ) ∧ ( r v ∼ p) ] ⇔ ∼ r
(~ f v f ) ∧ (v v ~ f )
(f ) ∧ (v) ⇔ ∼ f
f⇔∼f
v
El valor de verdad de la proposición es verdadero, ya que muestra el proceso de
resolución, de la tabla bicondicional establece que es verdadero cuando las dos
preposiciones tienen el mismo valor de verdad
c) [ (∼ p ⇒ q) ⇒ ∼ r] v [ ∼ q ⇒r]
[ (∼ f ⇒ f) ⇒ ∼ f] v [ ~ v ⇒v]
[ (v) ⇒ ∼ f] v [ v]
(f) v [ v]
V
 El valor de verdad de la proposición es verdadero, ya que muestra el proceso de resolución, de
la tabla de la disyunción establece que para que una proposición sea falsa, tanto su antecedente
como consecuente tienen que ser falso.
2) ¿Qué condiciones debe satisfacer p y q para que las siguientes proposiciones sean:
a) [ (q ⇔ p) ∧ ∼ q] ⇒ (p ∧ ∼ q ) Falsa
[ (f ⇔f) ∧ ∼ v] ⇒ (f ∧ ~ v)
[ (v) ∧ ∼ v] ⇒ (f)
[ v] ⇒ (f)
F

p: falsa q: falsa

Para que la proposición sea falsa, las proposiciones “p” y”q tienen que ser falsas, ya que la
proposición está procedida por el conector condicional y este establece que es falso cuando el
antecedente es verdadero y el consecuente es falso.

b) [ (∼ p ⇒ q) ⇒∼ r] v [ ∼ q ⇒ r] Falsa
[ (~ v ⇒f) ⇒∼ f] v [ ∼ v ⇒ f]
[ (f) ⇒∼ f] v [ ∼ v ⇒ f]
[ (v)] v [ f]
V

La proposición no puede ser falsa, ya que observamos que el antecedente y el consecuente están
precedidos por una disyunción, ya que ambos el antecedente y el consecuente deben ser falsos.

c) {~p ∧ (p v q)} ∧ [ p ⇔ q] Verdadera

{~v ∧ (f v f)} ∧ [ f ⇔ f]
{~v ∧ (f)} ∧ [ v]
f∧v
f

La proposición presentada no es verdadera, ya que al dar los valores de verdad a las

preposiciones (p,q,r) se llega una contradicción como el antecedente y el consecuente está
precedido de una conjunción ya que ambas partes deben ser verdaderas.
 3) Demuestre por medio de tablas de verdad si las siguientes proposiciones son: Tautologías,
Contingencias o Contradicciones

a) [(p ⇒ q) ∧ ~p] ⇒~q

p q (p⇒q) ~p ~q (p ⇒ q) ∧ ~p [(p ⇒ q) ∧ ~p] ⇒~q

v v V F F F V
v f F F V F V
f v V V F V F
f f V V V V V

Es una proposición de contingencia, ya que los resultados de esta proposición muestran valores
verdaderos como falsos.
b) [(p v q) ∧ r] ⇔ [(p’ ⇔ q’) v r’ ]

p q r (p v q) p’ q’ r’ (p’ ⇔ q’) [(p v q) ∧ r] [(p’ ⇔ q’) v r’ ] [(p v q) ∧ r] ⇔ [(p’ ⇔

q’) v r’ ]

V V V V F F F V V V V
V V F V F F V V F V F
V F V V F V F F V F F
V F F V F V V F F V F
F V V V V F F F V F F
F V F V V F V F F V F
F F V F V V F V F V F
f f f f v v v v F V F

Los resultados de la tabla de verdad varían en verdaderos y falsos, por lo tanto, la proposición es
de contingencia.
c) ∼ {[∼p ∧ (∼q v p)] ⇒ q}
 p q ∼p ∼q (∼q v p) {[∼p ∧ (∼q v p)] {[∼p ∧ (∼q v p)] ⇒ q} ∼ {[∼p ∧ (∼q v p)] ⇒ q}
V V F F V F V F
V F F V V F V F
F V V F F F V F

F F V V V V F V

Es una proposición de contingencia, porque los resultados que muestran la tabla de verdad son
verdaderos y falsos.
d) [(a v b) ∧ (a v c)] ⇔ [a v (b ∧ c)]
a b c (a v b) (a v c)] [(a v b) ∧ (a v c)] (b ∧ c) [a v (b ∧ c)] [(a v b) ∧ (a v c)] ⇔ [a v (b ∧ c)]
V V V V V V V V V
V V F V V V F V V
V F V V V V F V V
V F F V V V F V V

F V V V V V V V V
F V F V F F F F V
F F V F V F F F V
F F F F F F F F V

Esta es una proposición de tautología, ya que su última columna tiene todos los valores de verdad.
e) [(a ⇒ b) ∧ (b ⇒c)] ⇔ (a ⇒ c)

a b c (a ⇒ b) (b⇒c)] [(a⇒ b) ∧ (b⇒c)] (a⇒c) [(a ⇒ b) ∧ (b ⇒c)] ⇔ (a ⇒ c)

V V V V V V V V
V V F V f F F V
V F V F V F V F
V F F F V F V V

F V V V V V V V
F V F V F F V F
 F F V V V V V V
F F F V V V V V

La proposición es de contingencia, ya que los resultados que muestra la tabla son valores
verdaderos como falsos.
4) Demuestre si las siguientes proposiciones son implicaciones o equivalencias lógicas:

p ⇒ [∼q ⇒ (p v q)]
p q q (p v q ) [∼q ⇒ (p v q)] p ⇒ [∼q ⇒ (p v q)]

V V V F V V
V F F V V V
F V V F V V
f F F V F V

Esta proposición es una implicación lógica, porque utiliza un principal conector de implicación y
sus resultados en la tabla de verdad son todos verdaderos, lo que demuestra que es una
tautología.
(∼q ⇔ r) ⇒∼r

q r q r (∼q ⇔ r) (∼q ⇔ r) ⇒∼r

V V F F F V
V F F V V V
F V V F V F
f F V V F V

Esta proposición no es implicación lógica y tampoco es equivalencia lógica, debido a que es una
proposición de contingencia, es decir no es una tautología.