Está en la página 1de 11

Lógica Proposicional

Proposiciones Atómicas y Moleculares


David Camilo Gómez Cárdenas- 20171379063

Negación (¬); si… entonces (→); conjunción y (^); Disyunción o (v); si solo si (↔)

1.P=Hace suficiente frío

Q=El lago se helará

(P) → (Q)

2. B=Las luces están encendidas

C= La familia Álvarez está en casa

(B) → (C)

3.D=Dos pulsaciones se atraviesan

F=Continúa conservando el pulso original

(D) ↔ (F)

4.G=Pierde usted el autobús

H=tendrá que andar

(G) → (H)

5.J=Usted se dirige hacia el norte

K=Llegará a Canadá mañana

(J) → (K)
6.L=Es un ácido

M=Contiene el elemento hidrógeno

(L) → (M)

7.R=2+3=5

S=3+2=5

(R) → (S)

8.T= x=2

V= x+1=3

(T) → (V)

9.P=Si hoy es 7

Q=El viernes es 9

(P) → (Q)

10.R=Su producción crece

S=Juan podrá estabilizar el precio

(R) → (S)

1.Juana es más joven

2.Antonia es más vieja

3.Juana en más joven

4.Rosa es más vieja

5.Rosa tiene sesenta años


1. (P v Q) ^ S 4. (P v R) ^ Q

2. (Q V R) ^ S 5. R ^ (P v T)

3. Q ^ (R v T)

1. P v (Q ^ S) 4. (P ^ Q) v R

2. Q v (R ^ S) 5. R v (Q ^ R)

3. (Q ^ R) v T

1.disyunción S v (T ^ R)
2.conjunción (T v S) ^ Q

3.conjunción T ^ (S v R)

4.disyunción P v (Q ^ T)

5.disyunción (P ^ Q) v R

1. P:x<2 ; Q:x=1; R:x=0

P → (Q v R)

2. S: x<3; T: x>1; V: x=2

(S ^ T) → V

3. B: y=4; C: x<y; D: x<5

(B ^ C) → D

4. F: x>5; G: x<7; H: x=6

F ^ (G v ¬H)

5. J: x+3>5; K: y-4>; L: y>6

(J ^ K) → L
1.Condicional P→ (R ^ S)

2.Condicional P → (Q v R)

3. Condicional (P ^ Q) → R

4. Condicional (R v P) → Q

5.Conjunción (P → Q) ^ S

6. Conjunción R ^ (P → Q)

7.Disyunción R v (Q →T)

8. Disyunción (Q → P) v S

9. Disyunción (P →R) v Q

10. Condicional P → (R v Q)

11. Conjunción P ^ (Q → T)

12. Condicional (P ^ Q) → T

13. Disyunción P v (T → Q)

14. Disyunción (Q → R) v (¬ S)

15. Condicional Q → (R v ¬ S)
A).

1. ¬ (P v R)

2. ¬ (R → S)

3. ¬ (P ^ T)

4. ¬ (P →Q)

5. ¬ (R v S)

6. ¬(¬ Q ^ ¬ S)

B).

1. ¬S

2. ¬(P v T)

3. ¬(S ^ ¬T)

4. ¬(P→R)

5. ¬ (Q ^ R)

6. ¬ (¬R)

7. ¬ (T→¬S)

8. ¬ (¬N v M)

9. ¬ (¬Q→¬T)

10. ¬ (¬S^P)

11. ¬ (P v ¬S)

12. ¬ (¬Q)
1. negación ¬(P→R)

2. condicional (¬P)→R

3. conjunción (¬P)^ (¬R)

4. negación ¬(R^T)

5. condicional (¬P)→(¬Q)

6. negación ¬(P→¬Q)

7. disyunción (¬Q) v (¬R)

8. negación ¬(T v S)

9. conjunción (¬S) ^( ¬Q)

10. negación ¬(R→ S)


2. Si una sustancia orgánica se descompone, entonces sus componentes se transforman en
abono y fertilizan el suelo

P= una sustancia orgánica se descompone

Q= sus componentes se transforman en abono

R= fertilizan el suelo

P→ (Q^R)

3.O yo estoy equivocado, o la pregunta número uno es cierta y la pregunta numero dos es
falsa

B: yo estoy equivocado

C: la pregunta número uno es cierta

D: la pregunta numero dos es falsa

B v (C ^ D)
4.A la vez estoy equivocado o la pregunta número uno es cierta y la pregunta numero dos es
falsa

B: yo estoy equivocado

C: la pregunta número uno es cierta

D: la pregunta numero dos es falsa

B v (C ^ D)

5. O yo estoy equivocado, y la pregunta número uno es cierta o la pregunta numero dos es


falsa

B: yo estoy equivocado

C: la pregunta número uno es cierta

D: la pregunta numero dos es falsa

(B ^ C) v D

6. No ocurre que, a la vez Juana sea su hermana y Rosa sea su hermana

G= a la vez Juana sea su hermana

H= Rosa sea su hermana

¬(G ^ H)

7. Juana no es su hermana y Rosa es su hermana

G= Juana es su hermana

H= Rosa es su hermana

(¬G)^H

8.Si se conoce el período del movimiento de la Luna y se sabe la distancia de la Tierra a la


Luna, entonces se puede calcular la aceleración centrípeta de la Luna

J= se conoce el período del movimiento de la Luna

K= se sabe la distancia de la Tierra a la Luna

L= se puede calcular la aceleración centrípeta de la Luna

(J^K) → L

9.O sus deberes están terminados, o si no están terminados tendrá que hacerlos por la
noche

P= sus deberes están terminados

Q= tendrá que hacerlos por la noche

P v ((¬P)→Q)
10.No todas las regiones de África tienen un clima cálido y húmedo y no toda el África
ecuatorial es una tierra de vegetación espesa y exuberante

R= todas las regiones de África tienen un clima cálido

S= todas las regiones de África tienen un clima húmedo

T= no toda el África ecuatorial es una tierra de vegetación espesa

V= no toda el África ecuatorial es una tierra de vegetación exuberante

(¬(R ^ S)) ^ (¬(T^V))

1.Condicional (x=0 v x=1) → y=2

2.Disyunción x=0 v ( x≠0 ^ y=z)

3.Conjunción (x=1 v x≠1) ^ y≠3

4. Condicional x=y → (y≠z ^ y>5)

5.Conjunción (x=y v x=z ) ^ y>3

6. Condicional (x=y ^ y=z ) → x=z

7. Condicional (x>y ^ y>z) → x>z


DESARROLLO DE TEST

PRIMERO

SEGUNDO

TERCERO

• Enigmas: resueltos en un PDF de PowerPoint en el drive llamado: “Enigmas”