TRABAJO 1: LÓGICA PROPOSICIONAL TRABAJO 1: LÓGICA PROPOSICIONAL

1. Determinar cuáles de las siguientes expresiones del lenguaje son 1. Determinar cuáles de las siguientes expresiones del lenguaje son
proposiciones y determine su valor de verdad. proposiciones y determine su valor de verdad.
a) Las gallinas son mamíferas. a) Las gallinas son mamíferas.
b) Vengan a tomar café. b) Vengan a tomar café.
c) Pintemos esa casa. c) Pintemos esa casa.
d) 25 es la décima parte de 250. d) 25 es la décima parte de 250.
e) La velocidad se define como la distancia recorrida en un tiempo e) La velocidad se define como la distancia recorrida en un tiempo
dado. dado.
f) 13 es un número par. f) 13 es un número par.
g) El 25% de 400 es 200. g) El 25% de 400 es 200.
h) ¿Qué sabes de Karina? h) ¿Qué sabes de Karina?

2. Dada las proposiciones: 2. Dada las proposiciones:

p: Hoy es miércoles p: Hoy es miércoles
q: Mañana es feriado q: Mañana es feriado
Expresa en lenguaje coloquial las proposiciones que a continuación se Expresa en lenguaje coloquial las proposiciones que a continuación se
presentan en lenguaje simbólico. presentan en lenguaje simbólico.
a) ~p v ~q a) ~p v ~q
b) ~(~p) b) ~(~p)
c) ~(p^q) c) ~(p^q)

3. Dada las proposiciones: 3. Dada las proposiciones:

p: María es rubia
q: María tiene ojos verdes
Expresa en lenguaje simbólico las proposiciones que a continuación se
presentan en lenguaje coloquial.
a) María no es rubia y no tiene los ojos verdes.
b) María no es rubia o tiene los ojos verdes.
c) No es verdad que María es rubia y tiene los ojos verdes.
p: María es rubia
q: María tiene ojos verdes
Expresa en lenguaje simbólico las proposiciones que a continuación se
presentan en lenguaje coloquial.
a) María no es rubia y no tiene los ojos verdes.
b) María no es rubia o tiene los ojos verdes.
c) No es verdad que María es rubia y tiene los ojos verdes.

4. Confecciona la tabla de verdad correspondiente a cada una de las 4. Confecciona la tabla de verdad correspondiente a cada una de las
siguientes proposiciones: siguientes proposiciones:
a) ~p→~q b) ~q→~p c) p→~(pvq) d) ~pvq→q a) ~p→~q b) ~q→~p c) p→~(pvq) d) ~pvq→q
Mg. Antonio Taquio Troncos Mg. Antonio Taquio Troncos
5. Demostrar, mediante tablas de verdad, cuáles de las siguientes 5. Demostrar, mediante tablas de verdad, cuáles de las siguientes
proposiciones son tautologías, contradicciones y contingencias. proposiciones son tautologías, contradicciones y contingencias.
a) (pꓥ~q)→(~pꓦ~q) a) (pꓥ~q)→(~pꓦ~q)
b) ~(p→~q)↔(q→~p) b) ~(p→~q)↔(q→~p)
c) (pꓦ~p)↔p c) (pꓦ~p)↔p
d) [~pꓥ(qꓦr)↔(pꓦr)ꓥq] d) [~pꓥ(qꓦr)↔(pꓦr)ꓥq]

6. Diseñar el circuito lógico de cada una de las siguientes proposiciones: 6. Diseñar el circuito lógico de cada una de las siguientes proposiciones:

7. Halla la expresión lógica correspondiente a cada uno de los siguientes 7. Halla la expresión lógica correspondiente a cada uno de los siguientes
circuitos lógicos: circuitos lógicos:

Mg. Antonio Taquio Troncos Mg. Antonio Taquio Troncos