1
0.1. EJERCICIOS DE LOGICA´
0.1. Ejercicios de L´ogica
1. Colocar una “A” a cada proposició n ató mica y una “M” a cada proposició n
molecular. Después de cada proposició n molecular escribir el termino de
enlace utilizado en aquella proposició n.
a) Las bacterias en el agua o se destruyen hirviendo el agua o se destruyen
por clorizacion.
R; (M) q p
b) Este libro tiene má s pá ginas que el otro.
R; (A)
c) Si la sentencia es contra el defendido entonces el apelara el caso.
R; (M) qp
d) El reconoció la obra como la de un poeta inglés del siglo diecinueve.´
R; (A)
e) La guerra no puede explicarse totalmente por una causa.
R; (A)
f) ) Si dos o má s elementos se unen químicamente para formar una nueva
R; (M) qp
g) sustancia, entonces el producto se denomina un compuesto.
R; (A)
h) Las proposiciones moleculares contienen términos de enlace.
R; (A)
i) Este problema no es correcto.
R; (M) q~p
j) Rosa es menor de edad y su hermano es mayor de edad.
R; (M) P^q
k) La Matemá tica no es una ciencia .
R; (M) p ~ q
2. Simbolizar las siguientes proposiciones.
a) Si son má s de las seis, la asamblea no ha comenzado.
2
.= p(~q)
b) O mi reloj está mal o llegamos tarde.
r s
c) Si las células de la planta no tienen clorofila, entonces no pueden
sintetizar los alimentos.
(p~q)~r
d) Si la tribu fuera n´omada,entonces no construiría chozas permanentes.
p(~q)
3. Sea p la proposició n: hace fr´ıo y q la proposició n: llueve. Dar una frase verbal
simple que describa cada uno de los siguientes enunciados:
a) ¬p (b) p ∨ q (c) q ∨ (¬p) (d) (¬p) ∧ (¬q) (e) ¬(¬p).
(a) ~p = No hace frío
(b) p v q = Hace frío o llueve
(c) q v (~p) = llueve o, no hace frío
(d) (~p) v (~q)= No hace frio o No llueve
(e) ~ (~p) =No es verdad que no hace frío
4. Utilizar los s´ımbolos de enlace y los s´ımbolos de agrupaci´on para simbolizar
los siguientes enunciados:
a) Si p entonces q. = pq
b) O p o q. = p q
c) Si o p o q entonces r. = (p q)r
d) O no p o no q. = (~p) (q~)
e) O p y q o r y s. = (p^q) (r^s)
f) ) Si no p entonces no q y r. = ~p(~q^r)
g) p y si q, entonces no r. = (p^q)~r
5. Sea p la proposició n: ella es alta y sea q la proposició n: ella es simpática.
Simbolizar:
3
(a) Ella es alta y simpá tica. = p^q
(b) Ella es alta pero no simpá tica. = p~q
(c) Es falso que ella sea baja o simpá tica. = ~r q
(c) Ella es alta, o es baja y simpá tica. = p ( r^q)
(c) No es cierto que ella sea baja y no sea simpá tica. = ~r^~q
6. Señ alar el termino de enlace dominante en las siguientes proposiciones.
Indicando después como seria la proposició n en símbolos ló gicos y agregar los
símbolos de agrupació n donde sean necesarios.
a) No ocurre que, o Jaime es má s alto o Juan es má s alto. ~(pvq)
b) Pedro no es nuestro representante y José no es nuestro capitá n. =
(~p)^(~q)
c) Antonio se marcha ahora y o yo iré con ´el o Pedro ira con ´el. . = r^(s v t)
d) Si el baile comienza a las seis , entonces nosotros llegaremos pronto y
Pilar llegara tarde. = x(y^z)
e) Si este cuadro es negro entonces aquel cuadro es rojo y su rey está sobre el
cuadro rojo. P(q^r)
f ) O no es jueves o no sucedió el lunes. = ~q v ~p
g) O estoy equivocado, o la pregunta nú mero uno es cierta y la pregunta
nú mero dos es falsa. = q v(p^r)
7. Simbolizar las siguientes proposiciones utilizando los símbolos de agrupació n.
a) Yo estoy equivocado o la pregunta nú mero uno es cierta y la pregunta dos
es falsa. = p v(q^r)
b) A la vez yo estoy equivocado o la pregunta uno es cierta, y la pregunta
nú mero dos es falsa. = (pvq)^r
c) O yo estoy equivocado y la pregunta nú mero uno es cierta o la pregunta
nú mero dos es falsa. (p^q)v r
d) No ocurre que a la vez Juana sea su hermana y Rosa sea su hermana.
~[(p^q)]
e) Juana no es su hermana y Rosa es su hermana. = p^q
8. Determinar el valor de verdad de las siguientes proposiciones:
4
a) Si todas las proposiciones moleculares tienen términos de enlace,
entonces algunas proposiciones moleculares tienen exactamente una
proposició n ató mica y una proposició n ató mica tiene términos de enlace.
= p(q^r)
b) No ocurre que, Plató n fue un filó sofo griego o Pitá goras no fue un
matemá tico, y todos los griegos fueron matemá ticos. = ~[p v(q^r)]
0.1. EJERCICIOS DE LOGICA´
c) O todos los pá jaros son animales y algunos animales son pá jaros o todas
las ranas son anfibios. =(p^q)v r
d) Si el cuadrado tiene cuatro lados, entonces no ocurre que, el triá ngulo
tenga tres lados y el cuadrado tenga tres ´á ngulos, o el rectá ngulo tenga
cuatro ´á ngulos. = p[~(q^r)v s]
e) 13 es mú ltiplo de 4 y 2 es un nú mero par si só lo si 15 es mú ltiplo de 3.
9. Seleccionar las proposiciones ató micas p,q,r, y traducir en una oració n lo que
expresa la simbología siguiente.
a) (p ⇒ q) ∧ [(¬p) ⇒ q ] . Las gallinas son hembras, entonces los
gallos son machos y las gallinas no son machos entonces los
gallos no son hembras.
R; Las gallinas son hembras no machos, y los gallos son
machos no hembras
b) [p ∧ (¬q)] ⇔ (¬p) Hoy llueve y mañ ana no saldrá el sol, si y solo si
hoy no llueve.
R; . Mañ ana saldrá el sol solo si hoy no llueve
c) (p ∨ q) ∧ (r ∨ p) No hay comida o no quieren cocinar y si cocinan
hay comida
R; No hay comida si no quieren cocinan y si cocinan si hay
comida.
d) ¬[p ∨ (¬q)] ⇔ (¬r) No quiero comer o no quiero engordar si y
solo si no hago ejercicio.
R; Si no hago ejercicio, entonces como y engordo
10. Construir las tablas de verdad de las siguientes proposiciones.
[a ¬[(¬p) ∨ (¬q)] [b ¬[(r ∨ q) ∧ (¬p)]
] ]
[c [p ∨ (¬q)] ⇔ (r ∧ p) [d (¬p) ⇔ [r ⇒
5
] ] (¬q)]
[e
¬[p ∧ (¬r)] [f] (¬p) ⇒ [q ⇒ p]
]
[g [h
] [p ⇒ (q ∨ r)] ] ¬[(¬p) ⇒ (¬q)].
6
7
Kevin Mateo Aquim Vidal
