PRACTICA CALIFICADA
1) Sean p, q y r proposiciones tales que p = V, q = F y r = F. Indica cuáles de las
siguientes proposiciones son verdaderas:
a ) ( p ∨ q ) ∨ ( r∧x )
b ) ~ p ∨ (q ∧ t )
c) [ ( p ∧ q ) ∨ ( ~ p ∧ ~q ) ] ∧ [ ( ~ p ∧ q ) ∨ ( ~ q ∧ p ) ]
d ) ( ~ p ∨ q ) ∧ ( w ∨ ~ t ) ∧ ( y ∨ z)
p=V
q=F
r=F
a) (p v q) v (f ˄ v)
V v F
V= rpt
b) ~ p v (q ˄ t)
F v (F ˄ T)
F V F
F
c) [( p ˄ q ) v (~ p ˄ ~ q)] ˄ [( ~ p ˄ q) v ( ~ q ˄ p )]
[( V ˄ F )v( F ˄ V )] ˄ [( F ˄ F) v (V ˄ V)]
F v F F v V
F ^ V
F
d) (~ p v q ) ˄ ( w v ~ t) ˄ (~y v z)
(F v F ) ˄ ( x V ~ t) ˄ ( y v z )
F
2) Resolver aplicando la Tabla de verdad y verificar si es Tautología, contradicción o
contingencia
a ) ( ~ q ↔ p) → ( q → ~ p)
b ) ( q ∨ ~ p) Δ [ ( p ∨ q) → ~ q ]
c ) ~ [ ( ~ q ∨ ~ p) → (q ∨ ~ p) ] → ( p Δ ~ q )
d ) [ ( p→ q )∧( q→ r ) ] → ( p→r )
e ) [ ( p ↔ q )∨r ]∧[ ( p Δ q ) ∧~ r ]
f ) [ ( p → q ) →r ] ↔~ [ ( ~ q →~ p ) ∧~ r ]
p q r f ) [ ( p → q ) →r ] ↔~ [ ( ~ q →~ p ) ∧~ r ]
v V V V V V F V F F F
v V F V F F F V F V V
v F V F V V V F F F F
v F F F V F V F F F V
F V V V V V F V V F F
F V F V F F F V V V V
F F V V V V V V V F F
F F F V F F V V V V V
V V V
F V F
V V V
v V V
v V V
F V F
V V V
F V F
Tautología
3) Identifique las proposiciones simples y los conectores lógicos además formalicen
las siguientes proposiciones lógicas.
a) No es verdad que haya una caída del dólar en el Perú. (~P)
P: haya una caída del dólar en el Perú
Conectores lógicos: No es verdad que(~)
Formalizacion: (~P)
b) Si Peter domina el mercado, tendrá el monopolio.
P: Peter domina el mercado
Q: Peter tendrá el monopolio
Conectores lógicos: (si…. entonces) (→)
Formalizacion: p→q
c) Ni todo texto literario es ficcional, ni todo texto ficcional es literario.
P: todo texto literario es ficcional
Q: todo texto ficcional es literario
Conectores lógicos: NI… NI (↓)
Formalizacion: p↓q
d) Los trabajadores están siendo despedidos porque estamos en crisis económica.
P: Los trabajadores están siendo despedidos
Q: Estamos en crisis económica
Conectores lógicos: porque… (←)
Formalizacion: p←q
e) Jenny va de compras cada vez que reciba su sueldo.
P: Jenny va de compras
Q: Jenny recibe su sueldo
Conectores lógicos: cada vez que… (←)
Formalizacion: p←q
f) Obtener ganancias es necesario para poder invertir.
P: Obtener ganancias
Q: para poder invertir
Conectores lógicos: es necesario (←)
Formalizacion: p←q
g) Es suficiente, para aprender la lección, estar bien motivado.
P: aprender la lección
Q: estar bien motivado
Conectores lógicos: Es suficiente, para… (, Y)
Formalizacion: p←q
h) Trabajar diariamente es suficiente, para tener dinero.
P: Trabajar diariamente
Q: tener dinero
Conectores lógicos: es suficiente, para ←
Formalizacion: p←q
i) Sólo si existe oferta, habrá demanda.
P: existe oferta
Q: habrá demanda.
Conectores lógicos: Sólo si… ,
Formalizacion: p←q
j) Si es falso que, no trabajé ni estudié, es obvio que no seguiré una carrera profesional.
P: trabajé
Q: estudié
R: seguiré una carrera profesional.
Conectores lógicos: Si es falso que ~ no…ni ↓
Formalizacion:
~(p ↓ q ) → ~ r
k) Es falso que Carolina no sepa tocar el piano y que, además, no componga melodías,
puesto que es egresada del Instituto Nacional de Cultura.
P: Carolina sepa tocar el piano
Q: carolina componga melodías
R: carolina es egresada del Instituto Nacional de Cultura
Conectores lógicos Es falso que.. ~ , además( ˄ )…. puesto que( ←)
Formalizacion:
~ (~P ˄ ~q) ← r
l) Si es falso que la lógica y la matemática sean ciencias formales, ni la lógica ni la
matemática utilizan la inducción para demostrar sus principios.
P: la lógica es una ciencia formal
Q: la matemática es una ciencia formal
R: la lógica utiliza la inducción para demostrar sus principios
S: la matemática utiliza la inducción para demostrar sus principios.
Conectores lógicos es falso que ~….. y ˄…. Ni..ni.., ↓
Formalizacion:
~ (P ˄ q) →(r ↓ s)
4) Formaliza y luego encuentra el valor de verdad, utilizando la tabla de conectores lógicos
a) Si unimos el punto A, B, C de un triángulo, entonces se formará un nuevo punto llamado
D.
P→q
V
V
F
V Rpt
b) (Si una expresión no es verdadera ni falsa, no es una proposición.) Aunque, las
proposiciones son las explicitaciones de los juicios.
P: una expresión es verdadera
Q: proposiciones son las explicitaciones de los juicios.
(~p ↓ ~q) ˄ q
c) (Jorge come helado o se le derrite; no se derrite el helado), por tanto, Jorge se come el
halado.
P: Jorge come helado
Q: se derrite el helado
(p v ~q) →p
d) [(Pedro viaja a España, si María se queda en Francia). (Rosa viajará a Japón o (∆)
Pedro no partirá a España). O(∆) (María no se queda en Francia o(∆) Rosa no viajará a
Japón)]. Por consiguiente(→), María (~)no se queda en Francia.
P: Pedro viaja a España
Q: María se queda en Francia
R: . Rosa viajará a Japón
[(p → q) ˄ (r ∆~ p) ∆ (~ q ∆ ~ r) ] → ~ q
e) [(Cuando viajo me mareo. Siempre que me mareo), me entra hambre atroz.] Así pues,
siempre que ( me entra hambre atroz, viajo.)
P: Cuando viajo me mareo
q: siempre me mareo
r: me entra hambre atroz
[(p ˄ q) → r] →(r →p)
f) [(Cuando Rosa no juega vóley, juega básquet) ;(y) cuando juega básquet, juega al tenis,
no juega tenis)]. Por lo tanto, Rosa juega vóley.
P: Rosa juega vóley
q: Rosa juega básquet
r: Rosa juega tenis
[(~p → q) ˄(q →r) →~r] → p
5) Hallar las siguientes equivalencias.
a) {[ p v q ] v q }
[ pv q ]v q }
[ p⋀q]q
p⋀ q q
p
b) [( pɅq ) →(rɅ r )] Ʌ q
¿
[∼ ( ∼ p∧ q ) ∨ f ¿∧ ∼ q
[ p ∨∼q ∨ f ¿ ∧∼ q
[ p ∨∼ q ¿ ∧∼ q
∼ q ∧∼ q
c) [ ( p v q ) Ʌ q ] → p
¿
∼ ( p ∧q ) ∨ p
∼ p ∨q ∨ p
(∼ p ∨ p)∨ q
∨∨ q
q
6) Demostrar las siguientes equivalencias
a) [ ( p Ʌ q) → q ] v q
≡q
∼ [( p ∧ q)∨ ∼q]∨ q ≡q
[(∼ p ∨∼ q) ∧q ]∨ q ≡ q
[q ∧∼ p]∨q ≡ q
q≡q
b) p ↔q ≡ ( p Ʌ q ) v ( p Ʌ q)
∨ V V v F ∧ F
F F V v F
V ≡ V
c) ( p ↔q ) v ( p v q ) ≡ V
V V V V
F F
V ∨ V p=v
q=v
V
d) [ ( p Ʌ r ) → q ] → ( p → q ) ≡V
VVVV
∼ [ ∨→ q ] →∨≡ ∨
∨→ ∨≡∨
∨≡ ∨
e) {[ p Ʌ ( p→ q ) ] → q } ≡V
∨∨ ∨∨
∨∧ ∨→∨ ≡∨
∨→ ∨≡∨
∨≡ ∨
