UNIVERSIDAD CENTRAL DEL ECUADOR

FACULTAD DE INGENIERIA CIENCIAS FISICAS Y MATEMATICA

Nombre: Diego González
Paralelo: N°2
Carrera: Ingeniería Informática
Tema: Lógica Matemática
1) Determinar cuáles de las siguientes frases son proposiciones
a) 3+2 = 5. Si es Proposición
b) X+1 = 4. No es Proposición
c) ¡Hola! No es Proposición
d) Yo estudio. No es Proposición

2) ¿Qué conclusiones se deducen de las siguientes premisas?

a) Si el Ecuador explota su propio petróleo, entonces el Ecuador obtendría mayores
ingresos económicos.
El Ecuador explota su propio petróleo.
Ecuador=> p
Explota su propio petróleo => q
Mayores ingresos económicos => r
( p ^ q ) => ( p => r )
Al explotar el petróleo el Ecuador obtendría más ingresos.

b) Si los estudiantes estudiaran para los exámenes, entonces los estudiantes tendrían
buenas notas.
Los estudiantes no tienen buenas notas
Estudiantes => p
Estudiaran para los exámenes => q
Tendrían buenas notas => r
P ^ — q => -r
Los estudiantes no se dedican a estudiar por lo tanto tienen más notas

3) Sean p, q, r y s proposiciones. Calcular el valor de verdad de las siguientes proposiciones

suponiendo que p y q son verdaderas y que r y s son falsas
a) ( p ^ q ) => r
( p ^ q ) => r
V V F
V. => F
F
b) ( r V s ) => q
( r V s ) => q
F. F. => V
F. => V
V
c) q  (p ^ s )
q  (p. ^. s)
V.  V. ^. F
V.  F
F
d) p => - ( r ^ s )
p =>. -. (r ^ s)
V. =>. F. F
V. =>. F
V. =>. V
V

e) ( q => s ) => r
( q => s ). =>. r
V =>. F. =>. F
F. =>. F
V
f) – ( p  q )
- ( p.  q. )
V.  V
- V
F
g) ( q V r ) ^ ( p V s )
(q V. r) ^. (p V. s)
V v. F. ^ V v F
V. ^ V
V
h) ( r => s ) ^ ( p ^ q )
( r. => s ). ^. ( p. ^. q )
F. =>. F. ^. V. ^. V
V. ^. V
V
i) – [( r => p ) v ( s => q )]
- [( r. => p ) v ( s => q)]
F => V. v. F. =>. V
V. v V
V
j) [ r => q ]  [ - p  r ]
[ r. => q].  [ -p.  r]
 F. => V.  F.  F
V.  V
V
4) Sean p, q y r proposiciones. Obtener las negaciones de las proposiciones siguientes.
Expresar el resultado sólo con los tres conectivos fundamentales

a) P => q
-p v q
-( -p v q )
Pv–q

b) q ^ ( - r )
-[ q ^ ( - r )
-q v ( r )
c) ( p ^ q ) v r
- [( p ^ q ) v r ]
( - p v -q ) ^ - r

d) ( q => r ) ^ p
(-qvr)^p
-[ ( - q v r ) ^ p ]
(q^-r)v–p
e) [( p ^ q ) v ( - r ^ p )] => p
-[( p ^ q ) v ( -r ^ p )] v p
[( - p v – q ) ^ ( r v -p )] v p
-[( -p v -q ) ^ ( r v -p )] v -p
( p ^ q ) v ( -r ^ p ). v -p
5) Utilizando tablas de valores de verdad determinar cuáles de las siguientes proposiciones
son tautologías.

a) – ( p ^ - p )
- (p ^ -p)
V ^ F
F
V
b) ( p => q )  ( - q => - p )
( p => q )  (-q => -p)
V V V V F V F
V F F V V F F
F V V V F V V
 F V F V V V V

c) ( p => q ) => ( -p v q )
(p => q) => ( -p v q)
V V V V F V V
V F F V F F F
F V V V V V V
F V F V V V F

d) [( p => q ) ^ p ] => q
[( p => q) ^ p] => q
V V V V V V V
V F F F V V F
F V V F F F V
F V F F F V F

e) [( q => q ) ^ - q ] => - p
[( q => q) ^ -q] => -p
V V V F F V F
F V F V V F F
V V V F F F V
F V F V V V V

f) – ( p  q )  ( p ^ - q )
– (p  q)  (p ^ -q)
F V V V V V F F
V V F F V V V V
V F F V F F F F
F F V F V F F V
g) [( p => q ) ^ ( q => r )]  [ p => r ]
[( p => q) ^ (q => r )]  [p => r]
V V V V V V V V V V V
V V V F V F F V V F F
V F F F F V V F V V V
V F F F F V F V V F F
F V V V V V V V F V V
F V V F V F F F F V F
F V F V F V V V F V V
F V F V F V F V F V F
h) [ p => ( q => r )]  [( p => q ) => r ]
[p => (q => r )]  [( p => q) => r]
V V V V V V V V V V V
V F V F F V V V V F F
V V F V V V V F F V V
V V F V F V V F F V F
F V V V V V F V V V V
F V V F F F F V V F F
F V F V V V F V F V V
F V F V F F F V F F F

i) (( p ^ q ) => r )  ( p => ( q => r ))

(( p ^ q) => r)  (p => (q => r ))

V V V V V V V V V V V
V V V F F V V F V F F
V F F V V V V V F V V
V F F V F V V V F V F
F F V V V V F V V V V
F F V V F V F V V F F
 F F F V V V F V F V V
F F F V F V F V F V F
EJERCICIOS (1 AL 6) PÁGINAS 14, 15,16
1. Niegue las siguientes proposiciones:

a) (∀y Є ℝ) (y2 ≥0)

(∃y) (y2 <0)
b) (∀x Є ℝ) (∀y Є ℝ)(x + y=1)

(∃x) (∃y) (x+y≠1)

c) (∃x Є ℝ) (∀y Є ℝ) (x + y=0)

(∀x) (∃y) (x+y≠0)

d) (∀y Є ℤ) (∃x Є ℤ)(x-y es un número par)

(∃y) (∀x)(x-y es un número impar)

2. Sea P(x) : “x es veráz”, use los símbolos ∃,∀ para expresar las siguientes proposiciones;

y= hombre

a) Ningún hombre es veraz

.∼ (∀y) (y ∉ x) ≡ (∃y) (y ∈ x)

b) Todos los hombres son mentirosos.

(∀y) (y ∉ x)

c) Existe un hombre mentiroso.

(∃y) (y ∉ x)
d) Todos los hombres son veraces.

(∀ y) (y ∈ x)

3. Sean, p, q y r proposiciones. Demostrar que las siguientes proposiciones son tautologías.

a) p⇒ (p ∨ q)

∼p ∨ (p ∨ q) * Equivalencia

(∼p ∨ p) ∨q * Asociativa
 V∨q * Complemento, Identidad

V * Tautología

b) (p ⇔ q) ⇔ (p ∧ q) ∨ (∼p ∧ ∼q)

(p ⇒ q) ∧ (q ⇒ p) ⇔ (∼p ∨ q) ∧ (∼q ∨ p) * Distributiva, absorción

(∼p ∨ q) ∧ (∼q ∨ p) ⇔ (∼p ∨ q) ∧ (∼q ∨ p) * Equivalencia

[(∼p ∨ q) ∧ (∼q ∨ p) ⇒ (∼p ∨ q) ∧ (∼q ∨ p)] ∧ [(∼p ∨ q) ∧ (∼q ∨ p) ⇒ (∼p ∨ q) ∧ (∼q ∨ p)]

* Doble equivalencia

{∼ [(∼p ∨ q) ∧ (∼q ∨ p)] ∨ [(∼p ∨ q) ∧ (∼q ∨ p)]} ∧ {∼ [(∼p ∨ q) ∧ (∼q ∨ p)] ∨ [(∼p ∨ q) ∧ (∼q

∨ p)]} * Equivalencia

{[∼ (∼p ∨ q) ∨ ∼ (∼q ∨ p)] ∨ [(∼p ∨ q) ∧ (∼q ∨ p)]} ∧ {[∼ (∼p ∨ q) ∨ ∼ (∼q ∨ p)] ∨ [(∼p ∨ q) ∧

(∼q ∨ p)]} * De Morgan

{[(p ∧ ∼ q) ∨ (q ∧ ∼ p)] ∨ [(∼p ∨ q) ∧ (∼q ∨ p)]} ∧ {[(p ∧ ∼ q) ∨ (q ∧ ∼ p)] ∨ [(∼p ∨ q) ∧ (∼q ∨

p)]} * De Morgan

{[( q ∨ p) ∧ (∼ p ∨ ∼ q ) ] ∨ [(∼ q ∧ ∼ p) ∨ (p ∧ q) ]} ∧ {[(q ∨ p) ∧ (∼ p ∨ ∼ q)] ∨ [(∼ q ∧ ∼ p) ∨

(p ∧ q)]} * Distributiva, absorción

{[(∼ p ∧ q) ∨ (∼ q ∧ p)] ∨ [(p ∨ ∼ q) ∧ (q ∨∼ p)]} ∧ {[(∼ p ∧ q) ∨ (∼ q ∧ p)] ∨ (p ∨ ∼ q) ∧ (q ∨∼

p)]} * Distributiva, absorción

{[(∼ p ∧ q) ∨ (∼ q ∧ p)] ∨ [(q ∧ p) ∨ (∼ p ∧∼ q)]} ∧ {[(∼ p ∧ q) ∨ (∼ q ∧ p)] ∨ [(q ∧ p) ∨ (∼ p ∧∼

q)]} * Distributiva, absorción

{[(∼ p ∧ q) ∨ (∼ q ∧ p) ∨ (q ∧ p) ∨ (∼ p ∧∼ q)]} ∧ {[(∼ p ∧ q) ∨ (∼ q ∧ p) ∨ (q ∧ p) ∨ (∼ p ∧∼ q)]}

{[(∼ p ∧ q) ∨ (∼ p ∧∼ q) ∨ (∼ q ∧ p) ∨ (q ∧ p)]} ∧ {[(∼ p ∧ q) ∨ (∼ p ∧∼ q) ∨ (∼ q ∧ p) ∨ (q ∧ p)]}
* Asociativa
{[(∼ p ∨ (q ∧ ∼ p) ∨ (∼ q ∨ p) ∧ p]} ∧ {[(∼ p ∨ (q ∧ ∼ p) ∨ (∼ q ∨ p) ∧ p]}
* Distributiva, absorción
{[∼ p ∨ p]} ∧ {[∼ p ∨ p]} * Absorción
V∧V * Complemento
V * Tautología

c) [(p ⇒ q) ∧ (q ⇒ r)] ⇒(p ⇒ r)

 Por tablas de verdad:

2n = 2 3= 8

p q r [(p ⇒ q) ∧ (q ⇒ r)] ⇒ (p ⇒ r)
V V V V V V V V
V V F V F F V F
V F V F F V V V
V F F F F V V F
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
 Es tautología
d) [(p ⇔ q) ∧ (q ⇔ r)] ⇒(p ⇔ r)

 Por tablas de verdad:

2n = 2 3= 8

p q r [(p ⇔ q) ∧ (q ⇔ r)] ⇒ (p ⇔ r)
V V V V V V V V
V V F V F F V F
V F V F F F V V
V F F F F V V F
F V V F F V V F
F V F F F F V V
F F V V F F V F
F F F V V V V V
 Es tautología

e) [(p ∧∼ q) ⇒ ∼p )] ⇒ (p ⇒ q)

[∼ (p ∧ ∼q) ∨ ∼p] ⇒ (∼p ∨ q) * Equivalencia

[(∼p ∨ q) ∨ ∼p] ⇒ (∼p ∨ q) * De Morgan

(∼p ∨ q) ⇒ (∼p ∨ q) * Idempotencia

 ∼ (∼p ∨ q) ∨ (∼p ∨ q) * Equivalencia

(p ∧ ∼q) ∨ (∼p ∨ q) * De Morgan

(∼p ∨ q) ∨ (p ∧ ∼q) * Conmutativa

[(∼p ∨ q) ∨ p] ∧ [(∼p ∨ q) ∨ ∼q] * Distributiva

[∼p ∨ p∨ q] ∧ [∼q ∨ q ∨ ∼p] * Conmutativa

[V ∨ q] ∧ [V ∨ ∼p] * Complemento, Identidad

q ∧ ∼p

 No es tautología

f) ∼ (p ⇔ q) ⇔ (∼ p ⇔ q)

 Por tablas de verdad:

2n = 2 2= 4

p q ∼ (p ⇔ q) ⇔ (∼ p ⇔ q)
V V F V V F F
V F V F V F V
F V V F V V V
F F F V V V F
V V F V V F F
V F V F V F V
F V V F V V V
F F F V V V F
 Es tautología

g) [(p ⇒ ∼ q) ∧ (∼ r ∨ q) ∧ r] ⇒∼ p

 Por tablas de verdad:

2n = 2 3= 8

p q r [(p ⇒ ∼ q) ∧ (∼ r ∨ q) ∧ r] ⇒ ∼p
V V V V F F F F V V F V V F
V V F V F F F V V V F F V F
V F V V V V F F F F F V V F
V F F V V V V V V F F F V F
F V V F V F V F V V V V V V
F V F F V F V V V V F F V V
F F V F V V F F F F F V V V
F F F F V V F V V F F F V V
 Es tautología
h) [p ∧ (p ⇒ q) ] ⇒ q

[p ∧ (∼p ∨ q)] ⇒q * Equivalencia

[(p ∧ q)] ⇒q * Absorción

∼ (p ∧ q) ∨ q * Equivalencia

(∼ p ∨ ∼ q) ∨ q * De Morgan

∼ p ∨ (∼ q ∨ q) * Asociativa

∼p∨V * Complemento, Identidad

V * Tautología

i) [(p ∧∼ q) ⇒ ∼p] ⇒ (p ⇒ q)

[∼ (p ∧∼ q) ∨∼ p] ⇒ (∼p ∨ q) * Equivalencia

[(∼p ∨ q) ∨ ∼ p] ⇒ (∼p ∨ q) * De Morgan

(∼p ∨ q) ⇒ (∼p ∨ q) * Idempotencia

∼ (∼p ∨ q) ∨ (∼p ∨ q) * Equivalencia

(p ∧∼ q) ∨ (∼p ∨ q) * De Morgan

(∼p ∨ q) ∨ (p ∧∼ q) * Conmutativa

[(∼p ∨ q) ∨ p] ∧ [(∼p ∨ q) ∨ ∼ q] * Distributiva

[(∼p ∨ p) ∨ q] ∧ [∼p ∨ (q ∨ ∼ q)] * Asociativa

(V ∨ q) ∧ (∼p ∨ V) * Complemento, Identidad

q ∧ ∼p
  No es tautología

j) [(p ⇒∼ q) ∧ (∼r ∨ q) ∧ r] ⇒ ∼p

[(∼p ∨ ∼q) ∧ (r ∧ q)] ⇒ ∼p * Equivalencia, Absorción

∼ [(∼p ∨ ∼q) ∧ (r ∧ q)] ∨∼p * Equivalencia

[∼ (∼p ∨ ∼q) ∨∼(r ∧ q)] ∨∼p * De Morgan

[(p ∧ q) ∨ (∼r ∨ ∼q)] ∨∼p * De Morgan

∼p ∨ (p ∧ q) ∨ (∼r ∨ ∼q) * Conmutativa

(∼p ∨ q) ∨ (∼r ∨ ∼q) * Absorción

(∼p ∨ ∼r) ∨ (q ∨ ∼q) * Asociativa

(∼p ∨ ∼r) ∨ V * Complemento, Identidad

(∼p ∨ ∼r)

 No es tautología

k) (p ∧ q) ⇔ [(p ∨ q) ∧ (p ⇔q)]

(p ∧ q) ⇔ [(p ∨ q) ∧ (p ⇒q) ∧ (q ⇒p)] * Doble Equivalencia

(p ∧ q) ⇔ [(p ∨ q) ∧ (∼p ∨ q) ∧ (∼q ∨ p)] * Equivalencia

(p ∧ q) ⇔ [(p ∧ q) ∨ q ∧ (∼q ∨ p)] * Absorción

(p ∧ q) ⇔ [q ∧ (∼q ∨ p)] * Absorción

(p ∧ q) ⇔ (q ∧ p) * Absorción

[(p ∧ q) ⇒ (q ∧ p)] ∧ [(q ∧ p) ⇒ (p ∧ q)] * Doble Equivalencia

[∼ (p ∧ q) ∨ (p ∧ q)] ∧ [∼ (p ∧ q) ∨ (p ∧ q)]* Equivalencia Conmutativa

[(∼ p ∨ ∼ q) ∨ (p ∧ q)] ∧ [(∼ p ∨ ∼ q) ∨ (p ∧ q)] * De Morgan

[(∼ p ∨ q) ∧ (∼ q ∨ p)] ∧ [(∼ p ∨ q) ∧ (∼ q ∨ p)] *Distributiva, Absorción

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

{(∼ p ∨ q) ∧ (∼ p ∨ q) ∧ (∼ q ∨ p) ∧ (∼ q ∨ p)} * Asociativa

{(∼ p ∨ q) ∧ (∼ q ∨ p)} * Idempotencia

{(∼ p ∧ ∼ q) ∨ (q ∧ p)} * Absorción

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

( ∼r ∨ r )
V * Tautología

l) (p ∧ q⇒ r) ⇔ (p ∧ ∼r ⇒ ∼q)

 Por tablas de verdad:

2n = 2 3= 8

p q r (p ∧ q ⇒ r) ⇔ (p ∧ ∼r ⇒ ∼q)
V V V V V V F F V F
V V F V F V V V F F
V F V F V V F F V V
V F F F V V V V V V
F V V F V V F F V F
F V F F V V F V V F
F F V F V V F F V V
F F F V F F F V V V
 No es tautología

m) (p ∧ q) ⇔ [(p ∨ q) ∧ (p ⇔ q) ]

 Por tablas de verdad:

2n = 2 2= 4
 p q (p ∧ q) ⇔ [(p ∨ q) ∧ p ⇔ q) ]
V V V V V V V
V F F V V F F
F V F V V F F
F F F V F F V
V V V V V V V
V F F V V F F
F V F V V F F
F F F V F F V
 Es tautología
4.- Sean p Λ q proposiciones. Se define la proposición “ni q ni p “que la denotamos por p ↓ q,
por la siguiente tabla de valores de verdad.

P Q P↓Q
V V F
V F F
F V F
F F V

A) Probar que –P  (P ↓ Q) y que ( P V Q)  -(P ↓ Q)

P Q -P P ↓ Q –P  (P ↓ Q) P Q ( P V Q) -(P ↓ Q) ( P V Q)  -(P ↓ Q)
V V F F V V V V V V
V F F F V V F V V V
F V V F F F V V V V
F F V V V F F F F V

B) Expresar las proposiciones P => Q y Q Λ P usando solo ↓ y -.

P => Q QΛP
-(P V Q) -(-Q V –P)
-P Λ –Q -(-(-Q V –P))
P↓Q -(Q Λ P)
-(Q ↓ P)

5.- Sean p, q, r tres proposiciones tales que r es falsa, (p  -q) es verdadera y (q => r) es
verdadera deduzca el valor de verdad de P.

R (p  -q) (q => r) Q -Q P
F V V F V V
F V V F V V
F V V F V V
F V V F V V
F V V F V V
 F V V F V V
F V V F V V

6.- Negar las siguientes proposiciones

a) (∃x∈R) (∀y∈R) (x < y)
(∀x∈R) (∃y∈R) (x > y)

b) (∀x∈R) (∀y∈R) (x ≥ y)
(∃x∈R) (∃y∈R) (x ≤ y)

c) (∃x∈R) (∀y∈R) (x > 1 Λ y ≤ 1)

(∀x∈R) (∃y∈R) (x < 1 Λ y ≥ 1)

d) (∀x∈R+) (∃n0 ∈N) (∀n > n0) (I an I < ℇ)

(∃x∈R+) (∀n0 ∈N) (∃n > n0) (I an I > ℇ)

EJERCICIOS (PAGINAS 17,18)

1. Probar que si a es múltiplo de 6, entonces a es múltiplo de 2
Si a =6p
a=2 (3p) 3p=x
a=2x Por lo tanto a es múltiplo de 2
2. Sean a, b, c números enteros, demostrar que si a divide a(b+c) y a divide ab, entonces a
divide ac.
Si a/a(b+c) y a/ab
a/ab+ac= a/ab +a/ac
=Por lo tanto para que se cumpla la demostración se dice que a/ab +a/ac sino no se
cumple la definición.
3. Utilizando el método de la contraposición, mostrar por reducción al absurdo que si n es
impar entonces n-2 es impar
N es par
n-2=par
2x=N; par
 2x-2=
2(x-1)=par
2p=par Por lo tanto si n es impar entonces n-2 es impar.

4. Probar que para ∀n ∈ Z, n2+2 no es divisible por 4

Z= {…,-3,-2,-1,0,1,2,3,…}
N(1)=12+2=3 por lo tanto no es divisible para 4
N(k): k2+2 no es igual a 4p
N(k+1)=(k+1)2+2=k2+2k+1+2=4p+2k+1 No es divisible para 4 por lo tanto se
cumple la demostración
5. Probar que: Si x,y son enteros impares entonces x2+y2 no es divisible para 4
X=2a es par
Y=2b es par
(2a)2+(2b)2 es igual a 4c
4a2+4b2=4(a2+b2) Si esto se cumple por contradicción quiere decir que la
demostración se cumple.
6. Probar que si x,y son números enteros impares entonces x2+y2 es divisible por 2
X=2a-1
Y=2b-1
(2a-1)2+(2b-1)2 no es igual a 2c
4a2+4a+1+4b2+4b+1=4a2+4a+4b2+4b+2= 2(2a2+2ª+2b2+2b+1)
(2a2+2ª+2b2+2b+1) es igual a D
2D Por lo tanto se cumple la demostración
7. Si x,y son números enteros pares, probar que x2+y2 es divisible por 4
X=2a
Y=2b
4a2+4b2=2(2a2+2b2) Por lo tanto se cumple la demostración
8. Sea n un numero entero, probar que n(n+1)(n+2) o también que (n-1)(n)(n+2) es divisible
por 6
N(1)=1(1+1)(1+2)=6(1)
N(k)=k(k+1)(k+2)
=(k2+k)(k+2)
 =k3+2k2+k2+2k
= k3+3k2+2k=6X
N(k+1)= (k+1)(k+1+1)(k+1+2)
=(k+1)(k+2)(k+3)
=(k2+2k+k+2)(k+3)
=(k3+3k2+3k2+9k+2k+6)
=(6X+6K2+9K+6)
=6(C) Divisible para 6

9. Supongamos que m=5n+1 para algún entero n, mostrar que m2 se escribe de la misma
forma m2=5k+1 para algún k
N(1)=5(1)+1
N(k)=5k+1
(5n+1)2=(25n2+10n+1)
=5(5n2+2n)+1
=5(k)+1

10) Sea x un numero entero, pruebe que 𝒙𝟐 es de la forma 3n, o bien 𝟑𝒏 + 𝟏 para algún
entero n, pero no de la forma 𝟑𝒏 + 𝟐 . (Sugerencia: Todo numero entero m es de alguna de
las siguientes formas: m = 3k, m = 3k + 1 o m = 3k + 2.
𝑥 2 = 3n o bien 3𝑛 + 1, entonces:
32 = 3(4) o bien 3(4) + 1
9 ≠ 12 ≠ 13;
Respuesta: Por tanto queda demostrado que 𝑥 2 no puede leerse de la misma manera que 3n o 3n
+ 1, siendo los tres enteros cualesquiera.
11) Sean m , n enteros , muestre que mn es par si y solo sí ; m o n es par.
Z= {m,n}

m=2n m=2n+1
n=2n+1 n=2n
m(n) = n(m)
2n(2n+1) = (2n+1) (2n)
2n (m) = (n) 2n
 m = n

12) Demuestre que 𝒏𝟐 − 𝒏 es divisible por 2 para todo entero n.

𝑛2 −𝑛
* 2
(Reemplazamos la variable n por cualesquier entero positivo) *
2
11 −11
2
121 − 11
* 2
110
*
2
* 55
Respuesta: 𝟐𝟑𝟏, por tanto queda demostrado que el cociente de una variable n que puede ser
reemplazada con un entero positivo, sumada a su cuadrado y posteriormente dividida entre 2
siempre nos dará como resultado otro número entero exacto.