MATEMATICA BASICA

ACTIVIDA 3 - PROPOSICIONES

ERIKA PATRICIA MONTES VILLEGAS

100083445

ANDRES GOMEZ

CORPORACIÓN UNIVERSITARIA IBEROAMERICANA

FACULTAD DE INGENIERÍA

INGENIERÍA INDUSTRIAL

MATEMATICA BASICA

BOGOTÁ, D.C

2020
 Matemáticas básicas
Actividad 3 – 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. (Falso)

2. Si 1.000+1.890=2.890, entonces 1000<2.890 (verdadero)

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

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

5. No es cierto que no me guste bailar. (falso)

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

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:

1 Llueve y hace sol C

2 Llueve y no hace sol D
3 Llueve o hace sol B
4 Si no llueve, hace sol G
5 No es cierto que llueva A
6 No es cierto que no llueva E
7 Hará sol y solo si no llueve F
Respuesta

A ¬p
B pvq
C pꓥq
D p ꓥ ¬q
E ¬¬p
F q ↔¬p
G ¬p→q
10. Construya las tablas de verdad de

p q ¬p ꓥ q
1 1 0 0 1
1 0 0 0 0
0 1 1 1 1
0 0 1 0 0

Contingencia 3 falsas 75%

1 verdadera 25%

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

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

Contingencia 3 verdaderas 75%

1 falsa 25%
11.Complete la siguiente tabla de verdad:

P q r s [(p → q) ꓥ [q → (r ꓥ ¬s))] → [p → (r v s)]

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

Tautología
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 1 1 1 1
1 1 0 1 0 1 0 0 0 1 1 0 1 0
1 0 1 0 1 0 0 1 1 0 1 1 1 1
1 0 0 0 1 0 0 1 0 0 1 1 0 0
0 1 1 1 1 1 1 1 1 1 1 1 1 1
0 1 0 1 0 1 0 0 1 1 1 0 1 1
0 0 1 1 1 1 1 1 1 1 1 1 1 1
0 0 0 1 1 1 1 1 1 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 r [(p → q) ꓥ (q → r)] → (r → p)
1 1 1 1 1 1 1 1 1 1 1 1 1 1
1 1 0 1 1 1 0 1 0 0 1 0 1 1
1 0 1 1 0 0 0 0 1 1 1 1 1 1
1 0 0 1 0 0 0 0 1 0 1 0 1 1
0 1 1 0 1 1 1 1 1 1 0 1 0 0
0 1 0 0 1 1 0 1 0 0 1 0 1 0
0 0 1 0 1 0 1 0 1 1 0 1 0 0
0 0 0 0 1 0 1 0 1 0 1 0 1 0

Contingencia 6 verdaderas 75%

2 falsa 25%
14. Complete la siguiente tabla:

p q r [¬P ꓥ (q v r)] ↔ [(p v r) ꓥ q]

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

Contingencia 5 son verdaderas 62.5%

3 son falsas 37.5%

15. Complete la siguiente tabla:

p q r [¬ (P v q) v (¬r ꓥ ¬p)] ¬q → ⌐P
V V V F V V V F F F F V F
V V F F V V V V V F F V F
V F V F V F V F V F V F F
V F F F V F V V V F V F F
F V V V V V V F V V F V V
F V F V V V V V F V F V V
F F V V F F F F F V V V V
F F F V F F V V V V V V V