1

Encabezado: PROPOSICIONES

Taller de proposiciones

Sergio Esteban Vargas Higuera

Corporación Universitaria IBEROAMERICANA

Facultad de Ingeniería

Ingeniería Industrial

Funza, Cundinamarca

2020
 2
Encabezado: PROPOSICIONES

Taller de proposiciones

Sergio Esteban Vargas Higuera

Corporación Universitaria IBEROAMERICANA

Docente
Nicolas Guillermo Gómez García

Facultad de Ingeniería

Ingeniería Industrial

Funza, Cundinamarca

2020
 3
Encabezado: PROPOSICIONES

Desarrolle las siguientes proposiciones y de acuerdo a esto indicar si son verdaderas o falsas:

1. La luna es cuadrada y el gato tiene cuatro patas.

R= a la oración “la luna es cuadrada y el gato tiene cuatro patas”, es falsa (F) pues la luna no es
cuadrada, aunque el gato si tiene cuatro patas iguales sigue siendo falsa.

2. Si 1.000+1.890=2.890, entonces 1.000<2890

R= a la afirmación “Si 1.000+1.890=2.890, entonces 1.000<2890”, es verdadera (V) pues los dos
datos son verdaderos.

3. Perú se encuentra al lado izquierdo de Brasil y Brasil se encuentra en América.

R= a la oración “Perú se encuentra al lado izquierdo de Brasil y Brasil se encuentra en América”,
es falsa (F) pues, aunque Brasil si está en América, Perú esta a la derecha de Brasil.

4. Escribo con un bolígrafo si y sólo si tiene tinta.

R= a la oración “Escribo con un bolígrafo si y sólo si tiene tinta”. Es verdadera (V) porque
ambas afirmaciones son verdaderas.

5. No es cierto que no me guste bailar.

R= a la oración “No es cierto que no me guste bailar”, es verdadera (V) pues, ambos datos son
falsos.

6. Me gusta bailar y leer libros de ciencia ficción.

R= a la oración “Me gusta bailar y leer libros de ciencia ficción”, es verdadera (V) porque ambas
afirmaciones son correctas.
 4
Encabezado: PROPOSICIONES
7. Simbolice las siguientes proposiciones:
p = Ver la película.
q = Leer la novela.

No vi la película, pero leí la novela.

Ni vi la película ni leí la novela.
No es cierto que viese la película y leyese la novela

R= ¬p ˄ q
¬p ˄¬q
¬ (p ˄ q)
8. Simbolice:
a. Si p, entonces q.
b. No es el caso que p y q.
c. P solamente si q y no r.
d. P o no q.
e. Si p y q, entonces no r o s.
f. Si p, entonces q, y si q, entonces p

R=

a. p → q

b. ¬ p ˄ q

c. p ↔ (q ˄ ~r)
d. p v ~q
e. (p ˄ q) → (r v s)
f. (p → q) ˄ (q → p)
 5
Encabezado: PROPOSICIONES

9. Teniendo en cuenta que p= llueve y q= hace sol, relacione cada proposición con su
formalización:

1. Llueve y hace sol A. ¬p

2. Llueve y no hace sol B. pvq
3. Llueve o hace sol C. p˄q
4. Si no llueve, hace sol D. P ˄¬ q
5. No es cierto que llueva E. ¬¬P
6. No es cierto que no llueva F. q ↔¬ p
7. Hará sol si y solo si no llueve G. ¬p→q

10.Construya las tablas de verdad de:

p q ¬p˄q
1 1 0
1 0 0
0 1 1
0 0 0
 6
Encabezado: PROPOSICIONES

p q (p→ q) (p↔ q) (p→ q) v (p↔ q) (¬ p→ q) [(¬p→ q) v ¬ p] [¬(p→q) v(p↔q)] ˄[(¬p→q) v ¬p]

1 1 1 1 1 1 1 0
1 0 0 0 0 1 1 1
0 1 1 0 1 1 1 0
0 0 1 1 1 0 1 0

11. Complete la siguiente tabla de verdad:

P q r s (p→ q) (r ˄¬ s) [q→ (r ˄¬ s)] {(p→ q) ˄ [ q→ (r ˄¬ s)]} (r v s) [ p→ (r v s)] {(p→ q) ˄ [ q→ (r ˄¬ s)]} → [ p→ (r v s)]

1 0 1 1 0 0 1 0 1 1 1
1 0 1 0 0 1 1 0 1 1 1
1 0 0 1 0 0 1 0 1 1 1
1 0 0 0 0 0 1 0 0 0 1
1 0 1 1 0 0 1 0 1 1 1
1 0 1 0 0 1 1 0 1 1 1
1 0 0 1 0 0 1 0 1 1 1
1 0 0 0 0 0 1 0 0 0 1
0 1 1 1 1 0 0 0 1 1 1
0 1 1 0 1 1 1 1 1 1 1
0 1 0 1 1 0 0 0 1 1 1
0 1 0 0 1 0 0 0 0 1 1
 7
Encabezado: PROPOSICIONES

12 complete:

p q r p→ q q→ r (p→q) ˄ (q→ r) p→ r (p→q) ˄ (q→ r) → (p→ r)

1 1 1 1 1 1 1 1
1 1 0 1 0 0 0 1
1 0 1 0 1 0 1 1
1 0 0 0 1 0 0 1
0 1 1 1 1 1 1 1
0 1 0 1 0 0 1 1
0 0 1 1 1 1 1 1
0 0 0 1 1 1 1 1

13. Completar la siguiente tabla.

Cuando viajo me mareo. Siempre que me mareo, me da hambre y siempre que me da hambre, viajo.
Viajo: p
Mareo: q
Hambre: r
((p -> q) Y (q -> r)) -> (r -> p)
 8
Encabezado: PROPOSICIONES

( ( p → q ) Y ( q → r ) ) → ( r → p )
1 1 1 1 1 1 1 1 1 1
1 1 1 1 0 0 1 0 1 1
1 0 0 0 1 1 1 1 1 1
1 0 0 0 1 0 1 0 1 1
0 1 1 1 1 1 0 1 0 0
0 1 1 1 0 0 1 0 1 0
0 1 0 0 1 1 0 1 0 0
0 1 0 0 1 0 1 0 1 0

14. Complete la siguiente tabla:

p q r [(~p v q) v (~ r ˄ ~ p)] v ~q → ~ p
V V V V V F V V
V V F V V F V V
V F V V V F V F
V F F V V F V F
F V V V V F V V
F V F V V F V V
F F V F V V V V
F F F F V V V V

15. Complete la siguiente tabla:

 9
Encabezado: PROPOSICIONES

p q r [~P ˄ (q v r)] ↔ [(p v r)] ˄ q]

V V V F F V F V V V
V V F F F V F V V V
V F V F F V V V F F
V F F F F F V V F F
F V V V V V V V V V
F V F V V V F F F V
F F V V V V F V F F
F F F V F F V F F F