ESTUDIANTE: SANDRA LUCÍA ROJAS GARAY.

CARRERA: ARQUITECTURA 1º AÑO – UCI.

CÁTEDRA: LÓGICA SIMBÓLICA

TRABAJO A DISTANCIA 2

SIMBOLIZAR LAS SIGUIENTES PROPOSICIONES

A)

A = Andrés es presidente B = Benítez es secretario C = Carlos es tesorero

1.- Si Andrés es presidente y Carlos es tesorero, entonces Benítez es secretario

(A . C) ↄ B

2.- Andrés es presidente o Benítez secretario, pero Carlos es tesorero

(A v B) . C

3.- Aunque Andrés es presidente o Benítez secretario, Carlos es tesorero

(A v B) . C

4.- Si Andrés presidente, Benítez es secretario y Carlos tesorero

A ↄ (B . C)

5.- Carlos no es tesorero, a menos que Andrés sea presidente y Benítez secretario
- C v (A . B)

6.- Benítez es secretario, si y solo si Andrés es presidente y Carlos tesorero

B ≡ (A . C)

7.- Si Andrés es presidente y Benítez secretario, Carlos no es tesorero

(A . B) ↄ -C

8.- Es suficiente y necesario que Andrés sea presidente para que Benítez sea secretario y Carlos tesorero
A ≡ (B . C)

9.- Si Andrés no es presidente, entonces ni Benítez es secretario ni Carlos es tesorero

- A ↄ (B ↓ C)

10.- Es suficiente que Andrés sea presidente para que Benítez sea secretario y Carlos tesorero
A ↄ (B . C)

11.- No ocurre que, a la vez, Andrés es presidente y Benítez secretario; pero Carlos es tesorero
(A │ B) . C
12.- Si Carlos es tesorero, no ocurre que a la vez Andrés es presidente y Benítez secretario
C ↄ - (A . B)

13.- A menos que, Andrés es presidente y Benítez es secretario, Carlos es tesorero

(A . B) v C

14.- Ni Carlos es tesorero ni Benítez secretario, aunque Andrés es presidente

(C ↓ B) . A
15.- Siempre que Andrés sea presidente, Benítez es secretario y Carlos tesorero
A ↄ (B . C)

16.- Si Andrés es presidente, Benítez es secretario y Carlos tesorero

A ↄ (B . C)

17.- Benítez es secretario y Carlos tesorero, si Andrés es presidente

(B . C) ↄ A

18.- Es condición suficiente que Andrés sea presidente para que Benítez sea secretario y Carlos tesorero
A ≡ (B . C)

19.- Andrés no es presidente si Carlos es tesorero o Benítez secretario

- A ↄ (C v B)

20.- Andrés no es presidente, si Carlos es tesorero o Benítez secretario

- A ↄ (C v B)

B)
J = Juan está en la clase 1 E = Esteban está en la clase de química
A = Álvaro está en la clase 3 F = Fernando está ausente

1.- Si Juan está en la clase 1, entonces Alvaro está en la clase 3 y Esteban en la clase de química
J ↄ (A . E)

2.- Si Juan está en la clase 1 entonces Alvaro está en la clase 3, pero Esteban está en la clase de química
(J ↄ A) . E
3.- Si Juan está en la clase 1 y Esteban en la clase de química, entonces Alvaro está en la clase 3 y
Fernando está ausente
(J . E) ↄ (A . F)

4.- Juan está en la clase1, si Esteban está en la clase de química

J ↄ E

5.- Juan está en la clase 1, si Esteban está en la clase de química y Alvaro está en la clase 3
J ↄ (E . A)

6.- O Juan está en la clase 1 y Esteban en la clase de química, o Alvaro está en la clase 3
(J . E) w A

7.- O Juan está en la clase1 o, si no está, entonces Alvaro está en la clase 3

J w ( - J ↄ A)

8.- Si Alvaro está en la clase 3 o Esteban está en la clase de química, entonces Fernando está ausente
(A v E) ↄ F

9.- Si Juan no está en la clase 1 y Alvaro no está en la clase 3, Esteban está en la clase de química y
Fernando está ausente
( - J . – A) ↄ (E . F)
10.- Ni Juan está en la clase 1 ni Esteban está en la clase de química, pero Alvaro está en la clase 3 y
Fernando no está ausente
(J ↓ E) . (A . - F)
11.- No ocurre que Juan esté en la clase 1 o Esteban en la clase de química
J │ E

12.- Juan está en la clase 1 y Esteban en la clase de química, o Alvaro está en la clase 3
(J . E) v A

13.- Juan está en la clase 1, y Esteban en la clase de química o Alvaro en la clase 3

J . (E v A)

14.- Fernando no está ausente, si Juan está en la clase 1 y Esteban en la clase de química
- F ↄ (J . E)

C)
e = estudio l = leo un libro m = escucho música s = es sábado t = trabajo

1.- No se da que a la vez trabaje o estudie y lea un libro

(t v e) │ l

2.- No se da que a la vez trabaje y estudie o lea un libro

(t . e) │ l

3.- No trabajo, si escucho música o leo un libro

- t ↄ (m v l)

4.- O ni estudio ni leo un libro o, si estudio o leo un libro entonces no trabajo

(e ↓ l) w [ (e v l) ↄ - t ]

5.- Escucho música, y leo un libro si y solamente si ni estudio ni trabajo

m . [l ≡ (e ↓ t) ]

6.- Escucho música y leo un libro, si y solamente si ni estudio ni trabajo

(m . l) ≡ (e ↓ t)

7.- Sólo si ni estudio ni trabajo escucho música o leo un libro

(e ↓ t) ≡ (m v l)

8.- Aunque es sábado y no trabajo, ni escucho música ni estudio

(s . –t) . (m ↓ e)

9.- Aunque es sábado, escucho música o estudio si no leo un libro

s . [ (m v e) ↄ - l ]

10.- Escucho música y estudio, si es sábado y no trabajo

(m . e) ↄ (s . – t)

11.- Escucho música, y leo un libro, si es sábado y no trabajo

(m . l ) ↄ (s . – t)

12.- Escucho música, y estudio o leo un libro, si es sábado y no trabajo

m . (e v l) ↄ (s . – t)