Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Taller Lógica Matemática
Taller Lógica Matemática
1. Formen grupos de dos personas. En caso, de que alguien se quede sin grupo, debe
realizar la actividad solo.
2. Entregan un trabajo por grupo. Usen las hojas cuadriculadas y con el formato del
encabezado correspondiente.
3. Al terminar su trabajo y, en las mismas horas de clase, deben entregarlo a su compañera
encargada del curso.
2. Simboliza:
1. Si p, entonces q.
2. No es el caso que p y q.
3. p solamente si q y no r.
4. p o no q.
5. Si p y q, entonces no-r o s.
6. Si p, entonces q, y si q, entonces p.
7. Si p y q, entonces r. Luego, si no q, entonces r.
8. Si p y q, entonces r. Si r y s, entonces t. Luego si p y q y s, entonces t.
4. Escribe las proposiciones simples que obtienes de este texto y simboliza toda la proposición
compuesta.
“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”.
q:
r:
s:
t:
∼ 𝑞:
u:
Simbolización:
1. ∼𝑝∧𝑞
2. ∼ 𝑝 ∧∼ 𝑞
3. (𝑝 ∨∼ 𝑞) ∨ 𝑝
4. 𝑝 ↔∼ 𝑝
5. (𝑝 ∧ 𝑞) → 𝑝