FACULTAD DE LA FACEA

ESCUELA PROFESIONAL DE ECONOMIA

TAREA N° 1 -EJERCICIOS DE MATEMÁTICA BÁSICA

APELLIDOS Y NOMBRES: Fernandez Guimac Chelcie Jemima CÓDIGO: 7437262722

SEMESTRE. ACADÉMICO: 2022-2 CICLO: I GRUPO: “U” (A) FECHA: 05 / 09 /22
INSTRUCCIONES:
Enviar desarrollados los ejercicios dejados en clase por MOODLE, hasta el día 07 de
Setiembre a las 23:59 pm. Puede ser en Word, pdf, escáner, vídeo, foto o ppt.
1) ¿Cuáles son equivalencias lógicas?
a) ~ ( q → ~ p) ↔ ( q ∨ p)
(∼q→ p) ↔ (p ∨q)

q ∧ ∼p

p q ∼p  ↔
q ∧ ∼p (p ∨ q)

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

RESULTADO: NO son equivalencias

b) {( ~ p ∧ ~ q) ∨ ~ q} ↔ ~[ ( p ∨ q) ∧q]

{(∼p ∧ ∼q) ∨ ∼q} ↔ {∼(p ∨ q) ∧ ∼ q}

(∼p ∧ ∼q) ∧ ∼ q}

P q ∼p ∼q ∼p ∧ ∼q ∨ ∼q ↔ (∼p ∧ ∼q) ∨∼q

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

RESULTADO: NO son equivalencias

c) ~( p → q) ↔ [( p ∨ q) ∧ ~ q]
(p ∧ ∼q) →[(p ∨ q )
P q ∼p ∼q (p ∧ ∼q) ↔ p∨q ∧∼q
V V F F F V F
V F F V V V V
F V V F F V F
F F V V F F F

RESULTADO: SI son equivalencia

2) Si p↓q se define por ~ p ∧ ~ q , entonces ¿A cuál es equivalente ~ ( p ↔ q) ? :

a) [ ~ p ↓ q ] ∨ [ q↓ p]
b) [ ~ p ↓ q ] ∨ [ ~q↓ p]
c) [ ~ p ↓ ~q ] ∨[ p↓ q ]

3) ¿Cuáles de las siguientes proposiciones

a) ~( p ∧ ~ q ∧ ~ r)
(∼p ∧ q ∧ r)
P q r ∼p ∼p ∧ q ∧ r) ↔ p→q →r
V V V F F F V V
V V F F F F V F
V F V F F F F V
V F F F F F F V
F V V V V V V V
F V F V V F V F
F F V V F F V V
F F F V F F V F

b) ( p ∧ ~q) ∨ r
P Q r ∼q p ∧∼ q ( p ∧ ~q) ∨ r ↔ p→q ( p→q ) → r ?
V V V F F V V V
V V F F F F V F
V F V V V V F V
V F F V V V F V
F V V F F V V V
F V F F F F V F
F F V V F V V V
F F F V F F V F

c) (r ∨ q) ∧ ~( ~r ∧ q)
d) ~ p ∨ q ∨ r
 son equivalentes a: ( p→q) → r ?

4) Verificar si las proposiciones dadas son tautológica, contingente o contradicción:

a) { [(~ p∧r )→q ]↔[ ~ q ↔( p∨r )] } Δ { ( p ↔ q ) Δ( q∨~ r )} (Contingente)
P q r ∼p ∼q ∼ p ∧ r ∼ p ∧ r → q ∼q ↔ p ∨ r p ∨ r Δ p↔ q Δ p ∨∼ r ∼r
↔
V V V F F F V F F V F V F V F
V V F F F F V F F V F V F V V
V F V F V F V V V V F F V V F
V F F F V F V V V V F F V V V
F V V V F V V F F V V F V F F
F V F V F F V V V F V F F V V
F F V V V V F F V V V V V F F
F F F V V F V F F F F V F V V

b) [( p Δ~ q )∧ ~(r∧q)] ↔ ~[( p Δ ~ q) → (q∧r)] tautológica

(p Δ ∼ q) ∧(∼r ∨∼ q) ↔[(∼p Δ q)

P q r ∼q p Δ∼q ∧ ∼r ∼r ∨ ∼ q ↔ p Δ∼ q → q∧r ∼ [p Δ∼ q→ q ∧ r]
V V V F V F F F V V V V F
V V F F V V V V V V F F V
V F V V F F F V V F V F F
V F F V F F V V V F V F F
F V V F F F F F V F V V F
F V F F F F V V V F V F F
F F V V V V F V V V F F V
F F F V V v v V V V F F V
{ [(~ s↔ ~ r )→~ q ]↔[~ t ↔(r ¿ s)] } → { (~ p ↔ s) Δ( q ↓ ~r )}
P q r ∼q p Δ∼q ∧ ∼r ∼r ∨ ∼ q ↔ ∼q ↔ p ∨ r p ∨r Δ p↔ q Δ p
V V V F V F F F F F V F V F V
V V F F V V V V F F V F V F V
V F V V F F F V V V V F F V V
V F F V F F V V V V V F F V V
F V V F F F F F F F V V F V F
F V F F F F V V V V F V F F V
F F V V V V F V F V V V V V F
F F F V V v v V F F F F V F V

d) ~ {[( p ↓q) ↓ (q↓p)] ↔ ( p ∨q)} tautológica

p q ⬇q ⬇p p∨q
P ⬇ q ↔
V V F V F V V
V F F V F V V
F V F V F V V
F F V F v V F

e) [( p Δ~ q)∧ ~(r↓q)] ↔ ~ [( p ← ~ q) → (q¿)] CONTINGNTE

P q r ∼q p Δ∼q ∧
r
⬇p ∼( ⬇ p)
r
↔ p ←∼ q → q \ r ∼ [(p← ∼ q)→ q ∧ \ r]
V V V F V F V F F V F F V
V V F F V F V F V V V V F
V F V V F F V F V V V V F
V F F V F F V F V V V V F
F V V F F F V F F V F F V
F V F F F F F V V V V V F
F F V V V F V F F F F F V
F F F V V V F V V F F F V

f) { [(~ p ↓r)→q ]↔ [~ q ↔( p ¿)] } Δ { ( p ↔ q )Δ(q ↓ ~ r)}

5) Si p, q, r, s son proposiciones. Si {( p → ~ q)∨ (~ r → s)} es falsa, deducir el valor de verdad

de:

{( p → ~ q)∨ (~ r → s)}

[( p  ~ q ) v ( ~ r  s )] = F P=V Q=V R=F S=F

F v F =F

(p~q)=F ( ~r  s ) = F
V  F =F V  F =F

a) (~ p Δq)∨ ~ q
(~p Δ q)v q
( F Δ V) v F
V v F
V
b) ( p →r)→ ( p ∨ s)
(pr)  (pvs)
(V F)VvF
F  V
V

c) (~ r ∧q)↔ (~ q ∧ s)
( ~ F ^V ) ~ V ^F
( V ^V ) F ^F
V F
F
6) De la falsedad de ( p → ~ q) ∨ (~ r → s) deducir el valor de:
( p → ~ q) ∨ (~ r → s) P=V Q=V R=F S=F
v f v f
f f
f

a) (~ p ∧ ~ q) ∨ ~ q
(f ^ f ) v f
f v f
f

b) [ ( ~r ∨ q) ∧ q] ↔ [ (~q ∨ r) ∧ s ]
(V v V )^V [(F v F ) ^F]
V^V F ^F
V F
F

c) ( p → r ) → [ ( p∨ q) ∧ ~ q]
(VF) [(V v V ) ^F]

F F

7) Si se sabe que ( p ∧q) y (q → t ) son falsas, ¿Cuáles de las siguientes proposiciones son
verdaderas?
(P^q) = F (qt) = F
F^V =F V  F=F P=F Q=V T=F

a) (~ p ∨ t ) ∨ q b) ~ [ p ∧ (~ q∨ ~ p)]
(~F v F) v V ~ [F^(~V v ~F)]
(V v F) v V ~[F^(F v V)]
V v V ~F^V]
V ~[F]
V

c) [ ~ p∨ (q ∧ ~ t )] ↔ {( p → q) ∧ ~ ( q ∧ t )}
[~F v (V~F)] [(F V) ^~(V^F)]
Vv(V^V) [(F)~V^F)]
[V v V] [(V~(F)]
[V] [V^V]
V V
V

8) Simplificar las proposiciones siguientes aplicando las leyes lógicas.

a) ( p → ~ q ) →(~ p ∧ q )
~(p ~q) v (~p^q)
~(~p v ~q ) v (~p^q)
(p^q) v (~p^q)

b) ~ [ ~( p∧q )→~ q ]∨ q
~[(p^q) v ~q] v q
~(p^~q ^q v q
~[(p^q) v ~q] v q

c) ( ~ p→ ~ q ) ∨ (q→ p )
(p v ~q) v (~q v p)
P v ~q

d) [ ( p → q) ∨~ p ] ∧ (~ q→ p )
[(~p v q) v~p] ^ (q v p)
(~p v ~p v q) ^(q v p)
(~p v q) ^(q v p)

9) Del siguiente argumento: “O usas los símbolos lógicos porque usas las tablas de verdad, o si
usas los operadores lógicos implica que no usas las tablas de verdad. Siempre y cuando es
inconcebible los tres juntos.”
Verificar en las tablas de verdad si es tautológica, contingente o contradicción: (3Ptos)

[(b a) v (c ~b)] ↔ ~(a^b^c) (CONTINGENTE)

b a c ~b b  v c ~b ↔ (b a ) v (~b) ~(a^b^c)

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

10) Simplificar las proposiciones siguientes aplicando las leyes lógicas. (2Ptos.c/u)

a) [ ( p ↓ ~ q) → ( q→ p) ] ∧ q
[~(p ~q) v (q  p)] ^q
~(~p v ~q) v (~q v p )]^q
[p v ~ q v ~q v p] ^q
(p v ~q ) ^q
P^q

b) [ ( p → q) ∨~ p ] ↓ ( ~q→ p)
[~p v q v ~p] (q v p)
~(~p v q v p v q)
P ^~q ^ ~p

c) ~ p Δ [(~ q→ ~ p ) → ~( p → q )] d) [(~ p↓ q)→(~ q / p )] ∧ ~ p

11) Usando las leyes de equivalencia lógica, formaliza y determina la equivalencia del siguiente
argumento:
“Es falso que, los silogismos son tautológicos, así como se usa para demostrar la validez a
nuestros razonamientos. Aunque los silogismos son tautológicos salvo que también se usa
para demostrar la validez a nuestros razonamientos” (3ptos).
a) No se usa para demostrar la validez a nuestros razonamientos.
b) Si los silogismos son tautológicos entonces no se usa para demostrar la validez a
nuestros razonamientos. Aunque los silogismos son tautológicos porque se usa para
demostrar la validez a nuestros razonamientos.
c) Los silogismos son tautológicos simultáneamente se usa para demostrar la validez a
nuestros razonamientos
12) Si el esquema {~ [ ( p∧r ) → q ] ∧ [ ( p ∨ q) Δ s ] } → {( s Δ p) → t } tiene valor de verdad, falso,
hallar el valor de verdad de los esquemas. (2Ptos.c/u)
a) {[ ( ~ p Δ q) Δ r ] → [ ~ ( q → ( s → p ) )] } Δ ( p Δ q) b) {~ ( p →q) Δ [ ( r ∧ p) → ~ ( r ∨ s )] } Δ t
13) Del siguiente argumento: “O usas las leyes tautológicas en los argumentos lógicos o no usas las
contingencias, de la misma forma es falso que, usas las contradicciones junto con las
contingencias. Siempre y cuando es imposible que, si o bien usas las leyes tautológicas en los
 argumentos lógicos o bien no usas las contingencias entonces usas las contingencias además
usas las contradicciones.”
Verificar en las tablas de verdad si es tautológica, contingente o contradicción: (3Ptos)

CONTINGENTE

P q r ∼q pΔq ∧ ∼( ∧q) ↔ pΔq

14) r Dada la
V V V F F F F F F
V V F F F F V V F
V F V V V V V F V
V F F V V V V F V
F V V F V F F V V
F V F F V V V F V
F F V V F F v v F
F F F V F F V V F
siguiente información: p Θ q≡ ~( p↓ ~ q) Δ (q ←~ p)
p ∇ q≡ (~ q ↔ p ) / ~ (q →~ p )
Evaluar en las tablas de verdad: (3ptos)
[ (~ p ↓ (q Θ ~r )] ∇ {[ ~ (r ← ~q) ∇ p]Θ (r ↔ ~ p)}
TAULOGIA
15) Sea p, q, r, s, t proposiciones. Si (~ p / r ) ← [ ( ~q → ~ s) ↓ ~ t ] es una proposición falsa,
hallar el valor de verdad de: ( 2Ptos c/u)
{ [(~ q ↔ ~ s)→~ t ]←[ ~ p ↔(r ¿ s )] } → { (~ r ↔ q) Δ( p ↓ ~ t )}
a) (F)

b)
¿ ¿ (V)
16) Del siguiente argumento: “Es incorrecto que, el Guía de Turismo no sea un técnico
polivalente que está en condiciones de desempeñarse eficientemente en las diferentes
actividades que concierne el Turismo de manera que organice rutas turísticas a través de las
empresas especializadas. Siempre y cuando es imposible que, organice rutas turísticas a
través de las empresas especializadas a menos que el Guía de Turismo sea un técnico
polivalente que está en condiciones de desempeñarse eficientemente en las diferentes
actividades que concierne el Turismo.”
Verificar si es una equivalencia lógica: (3Ptos)

~ (~p q) ↔ ~ (~q v p)

(~p q) ↔( q v ~p)
(~p ∧ q) ↔ p ∧ q

TU META ES LOGRAR LO QUE TU HAZ TRAZADO MsC. Oscar Esteban García Grados