Actividad 3

Preposiciones con lógica

Presentado por:

José Javier Camacho Enríquez - 100071041

Corporación Universitaria Iberoamericana

Facultad de Psicología Virtual.

Tutor: Nicolás Guillermo Gómez García

Julio 2020
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.

F

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

V

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

V

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

5. No es cierto que no me guste bailar. V

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

7. Simbolice las siguientes proposiciones:

p = Ver la película.
q = Leer la novela.

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

⌐p, q
Ni vi la película ni leí la novela.
⌐p, ⌐q
No es cierto que viese la película y leyese la novela
⌐ (p, q)

8. Simbolice:

a. Si p, entonces q = (p → q)
b. No es el caso que p y q = (⌐ p ^ q)
c. P solamente si q y no r. = p↔(q ˅ ⌐ r)
 d. P o no q. = (p ˅ ⌐ q)
e. Si p y q, entonces no r o s.= (p ^ q) → (⌐ r ˅ s)
f. Si p, entonces q, y si q, entonces p= (p → q) ^ (q → p)

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

C
D
B
G
A
E
F

10.Construya las tablas de verdad de:

P q ¬p ^ q
1 1 0
1 0 0
0 1 1
0 0 1
p q [¬(p→ q)˅ (p ↔ q)] ^[(¬p →q) ˅¬p]
1 1 0 1 1 1 1 1 0
1 0 1 1 0 1 1 1 0
0 1 0 0 0 0 1 1 1
0 0 0 1 1 1 0 1 1

11. Complete la siguiente tabla de verdad:

p q r s {(p → q) ^ [q → ( r ^ ¬ s)]} → [p → ( r ˅ s )]
1 1 1 1 1 0 0 0 1 1 1
1 1 1 0 1 1 1 1 1 1 1
1 1 0 1 1 0 0 0 1 1 1
1 1 0 0 1 0 0 0 1 0 0
1 0 1 1 0 0 1 0 1 1 1
1 0 1 0 0 0 1 1 1 1 1
1 0 0 1 0 0 1 0 1 1 1
1 0 0 0 0 0 1 0 1 0 0
0 0 1 1 1 1 1 0 1 1 1
0 0 1 0 1 1 1 1 1 1 1
0 0 0 1 1 1 1 0 1 1 1
0 0 0 0 1 1 1 0 1 1 0

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

( ( p -> q ) Y ( q -> r ) ) -> ( r -> p )

1 1 1 1 1 1 1 1 0 1 1

1 1 1 0 1 0 0 1 1 1 1

1 0 0 0 1 1 1 1 1 1 1

1 0 0 0 0 0 0 1 0 1 1

0 1 1 1 0 1 1 0 1 0 0

0 1 1 1 0 1 0 1 0 1 0

0 1 0 1 0 1 1 0 1 0 0

0 1 0 1 0 1 0 1 0 1 0

14. Complete la siguiente tabla:

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

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

15. Complete la siguiente tabla:

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

Bibliografía
Curo, A., Martínez, M. (2015). Matemática básica para administradores. Lima:
Editora Universidad Peruana de Ciencias Aplicada (UPC).

Gutiérrez, E. y Larios, R. (2010). Fundamentos de matemáticas y lógica. Instituto

Politécnico Nacional. México.

Rojas, C. J. (2018). Aplicaciones de las funciones Algebraicas. Barranquilla:

Universidad del Norte Editorial.

Rojas, C. J. (2014). Razonamiento cuantitativo: notas de clase. Barranquilla:

Universidad del Norte Editorial.

Salazar, L. y Bahena, H. (2018). Álgebra. Ciudad de México: Grupo Editorial Patria.

Egoavil, J. R. (2014). Fundamentos de matemática. Introducción al nivel universitario.

Lima: Universidad Peruana de Ciencias Aplicadas (UPC).

Liu, C.L. (1995). Elementos de matemáticas discretas (2a.ed.). Editoral McGraw-Hill

Interamericana.

Falcón, S. (2014). Matemáticas Básicas. Gran Canaria: Universidad de Las Palmas de

Gran Canaria, Servicio de Publicaciones y Difusión Científica.

Rodríguez, J., Pierdant, A. I., Rodríguez, E. C. (2014). Matemáticas financieras 2.

México: Grupo editorial patria.