Hoja de Ejercicios Logica Proposicional

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

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)]

f ) [(∼ p ∨ q) ∧ (q ⇒ r)] ⇔ [(p4 ∼ q) ⇒ (p ∨ q)]
g) [(∼ p ∨ q) ∧ (∼ p ⇒ r)] ⇔ [(p4 ∼ r) ⇒ (p ∨ r)]
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)]

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

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

A = {0, 1, 2, 3, 4, 5, 6} 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
r
d) ∃y ∈ A, ∀x ∈ A/x2 + y 2 < 10 h) ∃x, y ∈ A/x2 + y 2 = 10
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)

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

Hoja de Ejercicios Logica Proposicional

Cargado por

Copyright:

Formatos disponibles

Hoja de Ejercicios Logica Proposicional

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Hoja de Ejercicios Logica Proposicional

Cargado por

Copyright:

Formatos disponibles

Matemática Básica (BORRADOR)

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

1.2.7. Ejercicios Propuestos

1 De los siguientes enunciados,indicar las proposiciones

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

2 De los siguientes enunciados,indicar los enunciados abiertos

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

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

3 Determinar el valor de verdad de las siguientes proposiciones

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

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

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

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

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

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

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

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

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 :

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 :

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

10 Determine el valor de verdad de las siguientes proposiciones,sabiendo 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

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

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

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

12 Determine el valor de verdad de las siguientes proposiciones,sabiendo 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

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) [(∼ 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

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

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

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

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

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