c. Realice los ejercicios presentados en la actividad de la Pg. 77, del libro guía (Cardona, T. S. A.

(2010). Lógica matemática para ingeniería de sistemas y computación) en las que debe determinar
si las expresiones proposicionales allí presentadas son válidas o No válidas.

1. Determine si las siguientes expresiones proposicionales son válidas o no válidas.

a. (¬ p ^ (p → q) ) → ¬q ç

b. (¬ p ^ (p → q) )→ q

c. (¬ q ^ (p → q) ) →¬p

d. (¬ q ^ (p → q) )→ p

e. ((p v q) ^ ¬q )→ ¬p

f. ((p v q) ^ ¬p )→ ¬q

2. Determine si las siguientes premisas y su conclusión son válidas o no válidas.

a.

Si usted es disciplinado, tendrá reconocimiento

Si usted tiene reconocimiento, será feliz

Si usted es disciplinado, será feliz

b.

Si no tuviera carro estaría ahorrando dinero

Estoy ahorrando dinero

No tengo carro

Cardona Torres, S. A. (2012). Lógica matemática para ingeniería de sistemas y computación.

Armenia, Quindío, Colombia: Ediciones Elizcom. Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/71192?page=81.

Resolviendo el numeral 1. mediante las respectivas tablas de verdad y aplicando Reglas de

Inferencia ( R.I ) sólo a aquellas expresiones válidas:

a. [ ¬ p ∧ ( p → q ) ] →¬ q
p q ¬ p ( p →q ) [ ¬ p ∧( p → q)] ¬q [ ¬ p ∧ ( p → q ) ] →¬ q
V V F V F F V
V F F F F V V
F V V V V F F
F F V V V V V

Como no se obtuvo una tautología, la expresión proposicional dada en el literal a. es no válida .

 b. (¬ p ^ (p → q) )→ q

p q ¬ p ( p →q ) [ ¬ p ∧ ( p → q ) ] [ ¬ p ∧ ( p → q ) ] →q
V V F V F V
V F F F F V
F V V V V V
F F V V V F

Como no se obtuvo una tautología, la expresión proposicional dada en el literal b. es no válida .

c. (¬ q ^ (p → q) ) →¬p

p q ¬ p ( p →q ) [ ¬ q ∧ ( p→ q ) ] ¬q (¬ q ^ (p → q) ) →
¬p

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

Como se obtuvo una tautología, la expresión proposicional dada en el literal c. es válida .

La validez de la expresión proposicional dada en este literal, justificada mediante R.I, se verifica al
observar que si se aplica la Regla conmutativa en el antecedente de dicha expresión ( es decir,
quedando así: ( p →q ) ∧ ¬q ), se obtiene la R.I Modus Tollens: [ ( p →q ) ∧ ¬q ] → ¬ p, que
obviamente es una tautología.

d. (¬ q ^ (p → q) )→ p

p q ¬ q ( p →q ) [ ¬ q ∧ ( p→ q ) ] (¬ q ^ (p → q) )→
p

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

Como no se obtuvo una tautología, la expresión proposicional dada en el literal d. es no válida .

e. ((p v q) ^ ¬q )→ ¬p

p q ¬ p ¬ q ( p ∨q ) ( p ∨q ) ∧¬ q [ ( p ∨q ) ∧¬ q ] →¬ p
V V F F V F V
 V F F V V V F
F V V F V F V
F F V V F F V

Como no se obtuvo una tautología, la expresión proposicional dada en el literal e. es no válida .

f. ((p v q) ^ ¬p )→ ¬q

p q ¬ p ¬ q ( p ∨q ) ( p ∨q ) ∧¬ p [ ( p ∨q ) ∧¬ p ] → ¬q
V V F F V F V
V F F V V F V
F V V F V V F
F F V V F F V

Como no se obtuvo una tautología, la expresión proposicional dada en el literal f. es no válida

Resolviendo el numeral 2. , literal a. , para lo cual es necesario pasar las premisas a proposiciones.

p :usted es disciplinado; q :usted tiene reconocimiento; r :usted será feliz. Formalizando el

razonamiento dado en este literal, se tiene: p →q

q→r
p →r
Se comprueba la validez de este razonamiento analizando su tabla de verdad:

p q r ( p →q ) (q → r ) [ ( p →q ) ∧ ( q → r ) ] ( p →r ) [ ( p →q ) ∧ ( q → r ) ] → ( p → r )
V V V V V V V V
V V F V F F F V
V F V F V F V V
V F F F V F F V
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F V V V V V

La formula: [ ( p →q ) ∧ ( q → r ) ] → ( p → r ) , según su tabla de verdad, es una tautología y por lo

tanto, es un razonamiento válido. Dado que dicha formula tiene la estructura de la R.I Transitiva,
esto justifica su validez.

b. Pasando las premisas a proposiciones.

p : tengo carro
q : estoy ahorrando dinero. . Formalizando el razonamiento dado en este literal, se tiene: ¬ p → q
 q
¬p
Se comprueba la validez de este razonamiento analizando su tabla de verdad:

p q ¬ p (¬ p → q) [ ( ¬ p → q ) ∧q ] [ ( ¬ p → q ) ∧q ] → ¬ p
V V F V V F
V F F V F V
F V V V V V
F F V F F V

La fórmula: [ ( ¬ p → q ) ∧q ] → ¬ p , según su tabla de verdad, no es una tautología y por lo tanto,

es un razonamiento no válido. Dado que dicha formula no tiene la estructura de las R.I Modus P. ni
Modus T, esta es la justificación mediante R.I, del por qué este es un razonamiento no válido.