ACTIVIDAD 3 - PROPOSICIONES CON LÓGICA

Elaborado por:

LEIDY NATALY CASTRO ARTEAGA

Docente:

JEFFERSON RUBIANO

MATEMATICAS BASICA

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.

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

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

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

5. No es cierto que no me guste bailar.

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

SOLICION:
1: FALSO
2: VERDADERO
3: VERDADERO
4: VERDADERO
5: VERDADERO
6: VERDADERO

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.

SOLUCION:
~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.
SOLUCION:
a. qp
b. ~ (p ˄q)
c. P(q˄~ r)
d. pv~ q
e. ~ (rvs)(p˄q)
f. (p(qp))

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

con su formalización:
 SOLUCIÓN 9
1=C
2=D
3=B
4=G
5=A
6=E
7=F

10.Construya las tablas de verdad de:

 0
1
0
0

1
0
1
1

11. Complete la siguiente tabla de verdad:

1
1
1
1
1
1
1
1
1
1
1
1
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 1 1 1 1
1 0 1 1 0 0 1 1
1 0 0 1 1 1 1 1
0 1 1 0 1 0 0 1
0 1 0 0 1 0 1 1
0 0 1 1 0 0 0 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 r ((p -> q) Y (q -> r)) ->(r -> p)

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

14. Complete la siguiente tabla:

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

 V V V 1 1
V V F 1 1
V F V 1 1
V F F 1 1
F V V 0 0
F V F
F F V
F F F

15. Complete la siguiente tabla:

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

V V V 1
V F 0
V
V F V 0
V F F 1
F V V 1
F V F 1
F F V 0
F F F 0