ACTIVIDAD 3 PROPOSICIONES CON LOGICA

PRESENTADO POR:

JULIETH VANEGAS CHAVEZ

TUTOR

LUIS PERILLA

CORPORACION UNIVERSITARIA IBEROAMERICANA

SEPTIEMBRE 2021
 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/ FALSO / VERDADERO

2. Si 1.000+1.890=2.890, entonces 1.000

R/ VERDAERO / FALSO

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

R/ FALSO/ VERDADERO

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

R/ VERDADERO/VERDADERO

5. No es cierto que no me guste bailar.

R/FASO

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

R/ 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.

R/ p = Ver la película. q = Leer la novela. = VERDAERO

P=No vi la película, q=pero leí la novela. =FALSO
P=Ni vi la película q= ni leí la novela= FALSO
P= No es cierto que viese la película y leyese la novela. =FALSO

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

Si p, entonces q: P→Q
No es el caso que p y q: ¬ (P ∧ Q)
P solamente si q y no r: P↔ (Q ∧ ¬ R)
 P o no q: P∨¬Q
Si p y q, entonces no r o s: (P ∧ Q) → (¬ R v S)
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 / FALSO

2 llueve y no hace sol /VERDADERO
3 llueve o hace sol /VERDADERO
4 Si no llueve, hace sol / VERDADERO
5 No es cierto que llueva /VERDADERO
6 No es cierto que no llueva/FALSO
7 Hará sol si y solo si no llueve
/VERDADERO

A ¬ p .r / negación
B p v q .r/ disyunción
C p ˄ q .r / conjunción
D p ˄ ¬ q. r/conjunción de p y negación de q
E ¬ ¬p. r/ negación de p
F q↔ ¬ p. r / q biconjuncion negativa de p
G ¬ p→q r./ negativa de p condicional de q

10. Construya las tablas de verdad de:

Pq ¬p˄
q
11 0 =0
10 0 =0
01 1 =1
00 1 =0

Pq (¬( p → q) v (p ↔q )) ˄ ((¬ p→ q ) v ¬ p) R/ (¬( p → q) v (p ↔q )) ˄ ((¬ p→ q ) v ¬ p)

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

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 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0
1 1 0 1 1 1 1 0 1 0 0 0 0 1 1 1 1 0 1 1
1 1 0 0 1 1 1 0 1 0 0 0 1 0 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
1 0 1 0 1 0 0 0 0 1 1 1 1 0 1 1 1 1 1 0
1 0 0 1 1 0 0 0 0 1 0 0 0 1 1 1 1 0 1 1
1 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0
0 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 1 1 1 1
0 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 1 1 1 0
0 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 1 0 1 1
0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 0
11. Complete la siguiente tabla de verdad

12. complete

p q r p q (p --> q) ^ (q --> p (p --> q) ^ (q --> r) --> (p -->

--> --> r r) --> r r)
q
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)

viajo me mareo me da hambre p→q q→r r→p (p→q) ˄ (q→r) ((p→q) ˄ (q→r) )→(r→p)

1 1 1 1 1 1 1 1
1 1 0 1 0 1 0 1
1 0 1 0 1 1 0 1
1 0 0 0 1 1 0 1
0 1 1 1 1 0 1 0
0 1 0 1 0 1 0 1
0 0 1 1 1 0 1 0
0 0 0 1 1 1 1 1
14.Complete la siguiente tabla

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

q) ~p)] ~p
V V V V V F V
V V F V V F V
V F V F F F F
V F F F F F F
F V V V V F V
F V F V V F V
F F V V V F V
F F F V V V V
15.Complete la siguiente tabla:

p q r [ ˄ (q v ↔ [(p v ˄ q
~ r)] r) ]
p
V V V F F V V V V V
V V F F F V V V V V
V F V F F V V V F F
V F F F F F F 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 V V F F
F F F V F F V F F F