Matemática Básica (BORRADOR)

Sea p : n2 es par,q : n es par

Se debe demostrar que p ⇒ q ≡∼ q ⇒∼ p
en efecto,supongamos ∼ q : n es impar
⇒ n = 2k + 1, ∀k ∈ N ⇒ n2 = 4k 2 + 4k + 1 ⇒ n2 es impar (→←)

r
finalmente n es par
√
11 Demostrar que 2 es un número irracional

do
Solución
√
Supongamos que 2 ∈ Q
√ m
⇒ 2= donde m, n son primos entre sí
n
⇒ 2n2 = m2 ⇒ m2 es par ⇒ m es par
Como m es par,entonces m = 2k ⇒ n2 es par,por lo que n es par.
entonces m, n tiene factores comunes es decir no son primos entre sí (→←)
√
Finalmente 2 ∈ I
ra
12 Sea n ∈ N,si n2 = 3̇ ⇒ n = 3̇

Solución
Supongamos que n 6= 3̇ ⇒ n = 3k + 1 ó n = 3k + 2 con k ∈ Z
• para n = 3k + 1 ⇒ n2 = 9k 2 + 6k + 1 ⇒ n2 6= 3̇(→←)
• para n = 3k + 2 ⇒ n2 = 9k 2 + 12k + 4 = 3̇ + 1 ⇒ n2 6= 3̇(→←)
Finalmente n = 3̇
or

1.2.7. Ejercicios Propuestos

1 De los siguientes enunciados,indicar las proposiciones

a) 8 + 3 = 7 c) x < 8 e) x + 3 = 0

b) 8 − 3 = 5 d) ¡Bravo Amigo! f ) ¡Auxilio!

B

2 De los siguientes enunciados,indicar los enunciados abiertos

a) 8 + 3 = 7 c) x < 8 e) x + 3 = 0

b) 8 > 5 d) ¡Bravo Amigo! f ) ¡Auxilio!

2 /2/ ♣ Allaucca Paucar,Adrián ♣ 2 ,21 22

  Matemática Básica (BORRADOR)

3 Determinar el valor de verdad de las siguientes proposiciones

a) p : 8 + 3 = 7 d) p ∧ (q ⇒ r)

b) q : 8 − 3 = 5 e) q ∧ (r ⇒ p)

r
c) r : (p ∨ q) ∧ (4 + 5 = 9) f ) (p ∨ q) ∧ (q ⇒ r)

4 Sean p(x) : x − 1 = 0, q(x) : x2 + 2 > 0, r(x) : x + 3 < 0,Halle el valor de

do
verdad de las siguientes proposiciones:

a) (p(1) ∨ q(0)) ∧ r(2) d) (∼ p(−1) ∨ q(0)) ∧ (q(−1) ⇒ r(0))

b) p(0) ∧ (q(−1) ⇒ r(−2)) e) (∼ p(−1) ⇔ q(0)) ∧ (q(−1) ⇒ r(0))

c) q(2) ∧ (r(−1) ⇒ p(0)) f ) (∼ p(−1) ⇔ q(0))4(q(−1) ⇒ r(0))

5 Determine la matriz principal de las siguiente proposición

ra
a) (p ∨ q) ∧ (∼ r ∧ p) c) q ∧ (r ⇒ p)

b) p ∧ (q ⇒ r) d) (p ∨ q) ∧ (q ⇒ r)

e) [(∼ p ∨ q) ∧ (q ⇒ r)]4[(p ⇒∼ q) ⇒ (p ∨ q)]

f ) [(∼ p ∨ q) ∧ (q ⇒ r)] ⇔ [(p4 ∼ q) ⇒ (p ∨ q)]

or

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

6 Halle el valor de verdad de la proposición (p ↔ q) → (q∧ ∼ r),si la proposición

(∼ p ∧ r) → (r∧ ∼ q) es falsa.

7 Determine el valor de verdad de las siguientes proposiciones,sabiendo que :

[(∼ p ∨ q) ∨ (r ⇒ q)] ∧ [(∼ p ∨ q) ⇒ (q∧ ∼ p)] ≡ F
B

a) (p ∨ q) ∧ (∼ r ∧ p) c) q ∧ (r ⇒ p)

b) p ∧ (q ⇒ r) d) (p ∨ q) ∧ (q ⇒ r)

e) [(∼ p ∨ q) ∧ (q ⇒ r)]4[(p ⇒∼ q) ⇒ (p ∨ q)]

2 /2/ ♣ Allaucca Paucar,Adrián ♣ 2 ,21 23

  Matemática Básica (BORRADOR)

f ) [(∼ p ∨ q) ∧ (q ⇒ r)] ⇔ [(p4 ∼ q) ⇒ (p ∨ q)]

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

8 Determine el valor de verdad de las siguientes proposiciones,sabiendo que :

r
∼ p ∨ [(p ∧ r) ⇒ (r ⇔ q)] ≡ F

a) (p ∨ q) ∧ (∼ r ∧ p) c) q ∧ (r ⇒ p)

do
b) p ∧ (q ⇒ r) d) (p ∨ q) ∧ (q ⇒ r)

e) [(∼ p ∨ q) ∧ (q ⇒ r)]4[(p ⇒∼ q) ⇒ (p ∨ q)]

f ) [(∼ p ∨ q) ∧ (q ⇒ r)] ⇔ [(p4 ∼ q) ⇒ (p ∨ q)]

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

9 Determine el valor de verdad de las siguientes proposiciones,sabiendo que :

ra
A = {1, 2, 3, 4} es un conjunto de modo que:

a) ∃x, y ∈ A/x2 < y + 1 e) ∀x, y ∈ A/x2 + y 2 < 10

b) ∃y ∈ A, ∀x ∈ A/x2 + y 2 + 1 = 0 f ) ∀x, y ∈ A/x2 + y 2 > 10

c) ∃x ∈ A, ∀y ∈ A/x2 + y 2 + 1 = 0 g) ∃x, y ∈ A/x2 + y 2 < 10

d) ∃y ∈ A, ∀x ∈ A/x2 + y 2 < 10 h) ∃x, y ∈ A/x2 + y 2 = 10

or

10 Determine el valor de verdad de las siguientes proposiciones,sabiendo que :

A = {0, −3, 1, 2, 3} es un conjunto de modo que:

a) ∃x, y ∈ A/x2 < y + 1 e) ∀x, y ∈ A/x2 + y 2 < 10

b) ∃y ∈ A, ∀x ∈ A/x2 + y 2 + 1 = 0 f ) ∀x, y ∈ A/x2 + y 2 > 10

B

c) ∃x ∈ A, ∀y ∈ A/x2 + y 2 + 1 = 0 g) ∃x, y ∈ A/x2 + y 2 < 10

d) ∃y ∈ A, ∀x ∈ A/x2 + y 2 < 10 h) ∃x, y ∈ A/x2 + y 2 = 10

11 Determine el valor de verdad de las siguientes proposiciones,sabiendo que :

A = {0, 1, 2, 3, 4, 5, 6} es un conjunto de modo que:

2 /2/ ♣ Allaucca Paucar,Adrián ♣ 2 ,21 24

  Matemática Básica (BORRADOR)

a) ∃x, y ∈ A/x2 < y + 1 e) ∀x, y ∈ A/x2 + y 2 < 10

b) ∃y ∈ A, ∀x ∈ A/x2 + y 2 + 1 = 0 f ) ∀x, y ∈ A/x2 + y 2 > 10

c) ∃x ∈ A, ∀y ∈ A/x2 + y 2 + 1 = 0 g) ∃x, y ∈ A/x2 + y 2 < 10

r
d) ∃y ∈ A, ∀x ∈ A/x2 + y 2 < 10 h) ∃x, y ∈ A/x2 + y 2 = 10

12 Determine el valor de verdad de las siguientes proposiciones,sabiendo que :

do
N, Z conjuntos de modo que:

a) ∃x, y ∈ N/x2 < y + 1 e) ∀x, y ∈ N/x2 + y 2 < 10

b) ∃y ∈ N, ∀x ∈ Z/x2 + y 2 + 1 = 0 f ) ∀x, y ∈ Z/x2 + y 2 > 10

c) ∃x ∈ Z, ∀y ∈ N/x2 + y 2 + 1 = 0 g) ∃x, y ∈ N/x2 + y 2 < 10

d) ∃y ∈ N, ∀x ∈ Z/x2 + y 2 < 10 h) ∃x, y ∈ Z/x2 + y 2 = 10

ra
13 Determine cual o cuales de las proposiciones son una:Tautología,Contradicción,Contingencia.

a) (p ∨ q) ∧ (∼ r ∧ p) d) (p ∨ q) ∧ (q ⇒ r)

b) p ∧ (q ⇒ r) e) [(p∧ ∼ p) ∨ (q ⇒ p)]∧ ∼ (∼ p ∨ q)

c) q ∧ (r ⇒ p) f ) [(p ∧ q ∧ r) ∨ (p ∧ q)] ∨ (p ⇒∼ q)
or

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

h) [(∼ p ∨ q) ∧ (q ⇒ r)]4[(p ⇒∼ q) ⇒ (p ∨ q)]

i) [(∼ p ∨ q) ∧ (q ⇒ r)] ⇔ [(p4 ∼ q) ⇒ (p ∨ q)]

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

B

14 Simplificar

a) ∼ [∼ (p ∧ q) ⇒∼ q] ∨ q d) ∼ {[(p∨ ∼ q) ∧ q] ⇒ p}

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

c) [(p∨ ∼ q) ∧ q] ⇒ p f ) [(p ⇒ q) ∧ (r ⇒∼ q)] ⇒ (p ⇒∼ r)

2 /2/ ♣ Allaucca Paucar,Adrián ♣ 2 ,21 25

  Matemática Básica (BORRADOR)

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

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

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

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

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

do
m) ∼ {∼ p∨[p∨(∼ p∧q)]} ⇒ [(∼ p∨q)∧(∼ p ⇒ r)] ⇔ [(p4 ∼ r) ⇒ (p∨r)]

15 Sean p, q, r proposiciones simples,demuestre que las siguientes proposiciones

compuestas son equivalentes.

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

b) (p∧ ∼ q) ∧ [∼ q ∨ (p∨ ∼ r)]

ra
c) ∼ [∼ q →∼ p] ∧ [q →∼ (p → r)]

d) [{∼ (p → q) ∧ [(p → q) ∨ r]} ∨ ∼ (p → q)]

16 Si (p ↑ q) ≡∼ [p ∨ q] entonces,las siguientes proposiciones son equivalentes?

a) [∼ p ↑ q] ∨ (p ↑ q)

b) [∼ p ↑ q] ∨ (p ↑∼ q)
or

c) [∼ p ↑∼ q] ∨ (p ↑ q)

Definición 1.2.2. Un Argumento Lógico es una condición de la forma

p1 ∧ p2 ∧ p3 ∧ ...pk → q, de modo que p1 , p2 , p3 , ..., pk son llamadas Premisas y
originan como consecuencia otra proposición q llamada Conclusión.

Observación 1.2.1.
B

I. Un argumento es válido si p1 ∧ p2 ∧ p3 ∧ ...pk → q es una tautología,es decir

p1 ∧ p2 ∧ p3 ∧ ...pk ⇒ q .

II. si el argumento p1 ∧ p2 ∧ p3 ∧ ...pk → q es Falso entonces se llama Falacia

2 /2/ ♣ Allaucca Paucar,Adrián ♣ 2 ,21 26