Scribd
Cargar
102 vistas

Taller Logicas

El documento presenta varias proposiciones para simbolizar lógicamente. En la primera sección se piden simbolizar 10 proposiciones usando las letras p y q para representar proposiciones. En la segunda sección se piden simbolizar 8 proposiciones adicionales. En la tercera sección se piden formalizar 5 proposiciones usando variables proposicionales. Finalmente, se pide enlazar varias proposiciones con su correspondiente formalización lógica y analizar cuál formaliza correctamente el enunciado "Pienso,

Cargado por

jorgenio1492
Derechos de autor
© © All Rights Reserved
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
102 vistas

Taller Logicas

El documento presenta varias proposiciones para simbolizar lógicamente. En la primera sección se piden simbolizar 10 proposiciones usando las letras p y q para representar proposiciones. En la segunda sección se piden simbolizar 8 proposiciones adicionales. En la tercera sección se piden formalizar 5 proposiciones usando variables proposicionales. Finalmente, se pide enlazar varias proposiciones con su correspondiente formalización lógica y analizar cuál formaliza correctamente el enunciado "Pienso,

Cargado por

jorgenio1492
Derechos de autor
© © All Rights Reserved
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
Está en la página 1/ 6

1.

Simboliza las siguientes proposiciones:

a. No vi la película, pero leí la novela: ¬p ˄ q

b. Ni vi la película ni leí la novela: ¬p˄ ¬q

c. No es cierto que viese la película y leyese la novela: ¬ (p ˄ q)

d. Vi la película, aunque no leí la novela: p ˄ ¬q

e. No me gusta trasnochar ni madrugar: ¬ p ˄ ¬ q

f. O tú estás equivocado o es falsa la noticia que has leído: p ˄ q

g. Si no estuvieras loca, no habrías venido aquí: ¬p → ¬q

h. Llueve y o bien nieva o sopla el viento: p^ (q v r)

i. O está lloviendo y nevando o está soplando el viento: (p ˄ q) v r)

j. Si hay verdadera democracia, entonces no hay detenciones arbitrarias ni otras violaciones de los
derechos civiles: p → (¬q ˄ ¬ r)

k. Roberto hará el doctorado cuando y solamente cuando obtenga la licenciatura: p ↔ q

L)  [(p →q) ⋀ (r → q)] → [(p ⋁ r) → q]


2. Simboliza:

a. Si p, entonces q:
p→ q
b. No es el caso que p y q:

¬ (p ˄ q)
c. p solamente si q y no-r:

p ↔ (q ˄ ¬ r)

d. p o no-q:

pv¬q

e. Si p y q, entonces no-r o s:
(p ˄q) →¬ (r v s)

f. Si p, entonces q, y si q, entonces p:

(p→q) ˄(q→p) Si

g. p y q, entonces r. p. Luego si q, entonces r:

(p ˄ q) → r, p |- q → r 

h. Si p y q, entonces r. Si r y s, entonces t. Luego si p y q y s, entonces t:

(p ˄ q) → r, (r ˄ s) → t |- (p ˄ q ˄ s) → t 

3. Formaliza las siguientes proposiciones:

a. No es cierto que no me guste bailar. [p: me gusta bailar].

¬(¬p)

b. Me gusta bailar y leer libros de ciencia ficción. [p: me gusta bailar. q: me gusta leer

libros de ciencia ficción].

p˄q
c. Si los gatos de mi hermana no soltaran tanto pelo me gustaría acariciarlos. [p: los

gatos de mi hermana sueltan pelo. q: me gusta acariciar los gatos].

¬p → q

d. Si y sólo si viera un marciano con mis propios ojos, creería que hay vida

extraterrestre. [p: ver un marciano con mis propios ojos. q: creer en los

extraterrestres].

p ↔q

e. Una de dos: o salgo a dar un paseo, o me pongo a estudiar como un energúmeno.

[p: salir a dar un paseo. q: estudiar como un energúmeno].

pvq

f. Si los elefantes volaran o supieran tocar el acordeón, pensaría que estoy como una

regadera y dejaría que me internaran en un psiquiátrico. [p: los elefantes vuelan. q:

los elefantes tocan el acordeón. r: estar loco. s: internar en un psiquiátrico].

(p v q) → (r ˄ s)

g. Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo para ello y no tengo

que ir a trabajar. [p: ir de vacaciones. q: no hacer nada. r: tener tiempo. s: ir a

trabajar].

(r ˄ ¬s) → (p v q).
4. Enlaza cada proposición con su formalización:

“Llueve” = p , “Hace sol” = q


1 Llueve y hace sol 5 ¬p
2 Llueve y no hace sol 3 pq
3 Llueve o hace sol 1 pq
Si no llueve, hace sol 2 p ¬ q
4
No es cierto que llueva 6 ¬¬p
5 No es cierto que no llueva 7 q¬p
6 Hará sol si y sólo si no 4 ¬pq
7 llueve

5. Enlaza cada proposición con su formalización:


“Llueve” = p , “Hace sol” = q, “Las brujas se
peinan” = r
1 Llueve y hace sol 1 pq
2 No es cierto que si llueve y hace sol las brujas se 3 r  (pq)
peinan
3
Las brujas se peinan únicamente si llueve y hace sol 4 ¬r  ( ¬p¬q)
4
Cuando las brujas no se peinan, no llueve o no hace sol 2 ¬[(pq)  r]
Llueve y las brujas no se peinan o bien hace sol 5
5 (p¬r)  (q¬r)
y las brujas no se peinan

6. Enlaza cada proposición con su formalización


“Las estrellas emiten luz” = p ; “Los planetas reflejan la
luz” = q ; “Los planetas giran alrededor de las
estrellas” = r
Si las estrellas emiten luz, entonces los planetas la 2 (p v q)  r
1
reflejan y giran alrededor de ellas
Las estrellas emiten luz o los planetas la reflejan y, por 4 ¬(pq)  ¬r
2
otra parte, los planetas giran alrededor de ellas
Los planetas reflejan luz si y sólo si las estrellas la 1 p  (qr)
3
emiten y los planetas giran alrededor de ellas
Si no es cierto que las estrellas emiten luz y que los 3 q  (p  r)
4
planetas la reflejan, entonces éstos no giran alrededor
de ellas
7 Enlaza cada proposición con su formalización:

“Pablo atiende en clase” = p ; “Pablo estudia en casa”


= q; “Pablo fracasa en los exámenes” = r ; “Pablo es
aplaudido” = s
Si Pablo no atiende en clase o no estudia en casa, 3
(pq) v (r¬s)
fracasará en los exámenes y no será aplaudido
Si no es el caso que Pablo atiende en clase y estudia en 4
(pq)  ¬(r¬s)
casa, entonces fracasará en los exámenes o no será
aplaudido
Pablo atiende en clase y estudia en casa o, por otra 1
(¬pv¬q (r¬s)
parte, fracasa en los exámenes y no es aplaudido
Únicamente si Pablo atiende en clase y estudia en 2
¬(pq) (rv¬s)
casa, no se dará que fracase en los exámenes y no
sea aplaudido

8. Enlaza cada proposición con su formalización

Otorga, ordenadamente, variables proposicionales a las diferentes oraciones de cada


caso.
Si escoges tus deseos y tus miedos, no existirá para 3
pq
tí ningún tirano. (Epicteto)
Quién tiene un porqué para vivir puede soportar 5
¬p  ¬q
cualquiera cómo. (Nietzsche)
El mundo entero es un escenario y todos los 2
pq
humanos somos unos actores. (Shakespeare)
Cuando uno no tiene imaginación, la muerte es poca 4
(¬p q)  (p ¬q)
cosa; cuando uno la tiene, la muerte es demasiado.
(Céline)
Ojos que no ven, corazón que no siente. 1 (pq)  ¬r

9. Formaliza las siguientes proposiciones:

“Si tuvieran que justificarse ciertos hechos por su enorme tradición entonces,
si estos hechos son inofensivos y respetan a todo ser viviente y al medio ambiente, no
habría ningún problema. Pero si los hechos son bárbaros o no respetuosos con los
seres vivientes o el medio ambiente, entonces habría que dejar de justificarlos o no
podríamos considerarnos dignos de nuestro tiempo.”

p: justificar hechos por su tradición.


q: ser inofensivo.
r: ser respetuoso con los seres vivos.
s: ser respetuoso con el medio ambiente.
t: tener problemas.
¬q: ser bárbaro. (= no ser inofensivo)
u: ser digno de nuestro tiempo.

p → [ ( q r  s) → ¬t ]  [ (¬q v¬( r v s ) → ( ¬p v ¬u ) ]

10. Analiza el siguiente enunciado y señala cuáles de las siguientes


formalizaciones son adecuadas o equivalentes:

Pienso, luego soy.


(Descartes)
1. p  q 2. p  q 3. ¬p  4. ¬q  5. ¬(p 6. ¬(¬p v q)
¬q ¬p ¬q)

También podría gustarte