LÓGICA (HU210)

TAREA ACADÉMICA 2 (TA2)

Ciclo 2022-1
Profesor(a): Elía Carmen Acuña Silva

Sección: DX28 - 00
GRUPO 6
NOTA: ………

FICHA DE AUTOEVALUACIÓN Y COEVALUACIÓN GRUPAL:

INTEGRANTE ACTIVIDADES Y APORTES NOTA FIRMA

DE CADA UNO (Describa
(Apellidos y nombres – EN ORDEN detalladamente qué hizo cada (De 0% a
ALFABÉTICO) integrante en la TA2) 100%)

1 Barboza Rojas, Sulma Redactó la pregunta 1 de los 100%

fmf y ayudó a corregir el
trabajo completo

2 Bravo Llamocca, Joselyn Redactó la pregunta 2 y ayudó 100%

a corregir el trabajo completo

3 García Gonzales, Yajaira Lady Redactó la pregunta 2 y 100%

ayudó a corregir el trabajo
completo.

4 Roca Huaman, Britney Mirella Fany Redactó las inferencias SHP y 100%
ayudó a corregir a que el
trabajo esté perfilado

5 Sony Soto Román, Edeftabita Sony Redactó las inferencias MTT y 100%
ayudó a corregir el trabajo
completo.
6 Zevallos Sevillano, Natty Xiomara Redactó las inferencias SD y 100%
MPP y ayudó a corregir a que
el trabajo esté perfilado.

Los temas a tratar dentro de la prueba (TA2) deben ser de problemáticas relevantes de la sociedad
actual (desde marzo del 2022).

1. Construye 4 secuencias de símbolos que sean fórmulas mal formadas (fmf), donde cada una de ellas
debe tener al menos 15 símbolos. Cada una de las fmf deben cometer solo un error y debe ser de
distinto tipo de error que las otras tres. Justifique detalladamente por qué. Los ejemplos deben ser
originales (no copie). (4 puntos)

Secuencia de símbolos Es fmf, ¿por qué?

Ejemplo: ~ (p ∨q) → [s ∧ t .→.r ∧ u] . ↔. w Es fmf pues no cumple la RF4, pues contiene a ∇

∧∇ no pertenece a los símbolos primitivos de LP.

Es fmf pues no cumple la RF4, puesto que

contiene “o”, el cual no forma parte de los
(p ∧ q ∧ r ∧ s ∧ ~t) → ~ t~o símbolos primitivos de lógica proposicional. Ya
que las variables proporcionales comienzan en
“p”.

Es fmf pues infringe la RF3, pues contiene a “←”,

p ∧ q ∧ r ∨ s ~ (~q ∨ s) ←~ p el cual no es un símbolo primitivo de lógica
proposicional. También por regla de
formulación, el uso correcto sería “→” .

Es fmf pues no cumple la RF4, ya que contiene a

(p ∧ q) ∨ [ (p ≥ q) ∨ (r ∨ s ) ∨ ~(t ↔ u) ] “≥”, el cual no es parte de los símbolos primitivos
de lógica proposicional.

Es fmf pues no cumple RF1, pues contiene “A y

p ∧ q ~~~~~s (A→B) ∧ r ~ t B”, los cuales no son variables proposicionales,
las variables proporcionales comienzan en “p”.
2. Cita 2 textos sobre temas relevantes de la sociedad actual (desde marzo de este año). Estos deben
estar conformados de al menos 3 proposiciones simples y al menos 3 operadores lógicos distintos.
Cada texto debe tener un operador de mayor jerarquía distinto. El texto debe ser original, es decir no
debe haber sido simbolizado antes. (No copie). Cuide su ortografía y redacción. No olvide colocar la
referencia bibliográfica. Luego, traduce los textos citados al lenguaje de la Lógica Proposicional,
haciendo explícito todo el proceso de simbolización. (8 puntos)

Texto 1:

Seis niños de la comunidad de Parijaro (Satipo) mueren porque contraen infecciones respiratorias
.Además, el centro de salud más cercano está a 10 horas o 15 horas caminando. Por ello, la
comunidad de Parijaro solicita al gobierno Central y al gobierno Regional que se construya un
centro de salud en la zona.

Referencia bibliográfica:

Medina,O.(9 de Junio ) . Ola de frío en Satipo se lleva hasta el momento la vida de seis menores
en comunidad nativa. Diario Correo. Recuperado de https://diariocorreo.pe/edicion/huancayo/ola-
de-frio-en-satipo-se-lleva-hasta-el-momento-la-vida-de-seis-menores-en-comunidad-nativa-
noticia/?ref=dcr

Lista de proposiciones simples:

p: Seis niños de la comunidad de Parijaro (Satipo) mueren

q: Seis niños de la comunidad de parijaro (Satipo) contraen infecciones respiratorias

r: El centro de salud más cercano está a 10 horas caminando

s: El centro de salud más cercano está a 15 horas caminando

t: La comunidad de Parijaro, solicita al Gobierno Central que se construya un centro de salud en

la zona

u: La comunidad de Parijaro, solicita al Gobierno Regional que se construya un centro de salud

en la zona

Estructura formal

p porque q. Además r o s. Por ello t y u

Simbolización:

[(q → p) ∧ (r ∨ s)] → ( t ∧ u)
Texto 2:

El IDEAM invita a los ciudadanos a estar atentos a la información oficial sobre el comportamiento
de los niveles del río y a las indicaciones que den las autoridades de emergencia. Además, no se
recomienda arrojar residuos sólidos a los cauces de los ríos porque puede lastimar a las personas
o causar daños a los cultivos.

Referencia bibliográfica:

Cedeño, M. (2022, 11 de junio). Emergencia por el desbordamiento del río Bogotá: medidas,
restricciones y últimas noticias . AS Colombia. Recuperado el 9 de junio de 2022 de:
https://colombia.as.com/actualidad/emergencia-por-el-desbordamiento-del-rio-bogota-
medidas-restricciones-y-ultimas-noticias-n/

Lista de proposiciones simples:

p: El IDEAM invita a los ciudadanos a estar atentos a la información oficial sobre el

comportamiento de los niveles del río.

q: El IDEAM invita a los ciudadanos a estar atentos a las indicaciones que den las autoridades de
emergencia.

r: Se recomienda arrojar residuos sólidos a los cauces de los ríos

s: Puede lastimar a las personas

t: Puede causar daños a los cultivos

Estructura formal

p y q. Además, no r porque s o t.

Simbolización:

(p ∧ q) ∧ [(s ∨ t) → ~r]
3. Redacta cuatro inferencias válidas sobre temas relevantes de la sociedad actual (2022), que sean la
aplicación de reglas de inferencia diferentes. Estas reglas de inferencia deben seleccionarse del
siguiente listado: DM, MPP, MTT, SD y SHP. Cada una debe presentar su simbolización respectiva
(proceso explícito completo). Los textos deben ser originales (No copie). Cuide su ortografía y
redacción. Coloca la referencia bibliográfica que lo inspiró. (8 puntos)

Texto inferencial 1

Si el Poder Judicial dicta prisión preliminar contra el exministro de Transporte y Comunicaciones

Juan Silva, entonces el gobierno de Pedro Castillo no facilitará su captura y lo ayudará a fugar
del país. El Poder Judicial dicta prisión preliminar contra el exministro Juan Silva. Por lo tanto, el
gobierno de Pedro Castillo no facilitará la captura de Juan Silva y lo ayudará a fugar del país.

Referencia bibliográfica

Razón, L. (2022, 8 juni). Gobierno dejó escapar a exministro Juan Silva. AP Noticias Perú.

Recuperado el 9 de junio de 2022 de: https://www.apnoticias.pe/peru/la-razon/gobierno-

dejo-escapar-a-exministro-juan-silva-783946

Lista de proposiciones simples

p: El Poder Judicial dicta prisión preliminar contra el exministro de Transporte y Comunicaciones

Juan Silva

q: El gobierno de Pedro Castillo facilita la captura de Juan Silva

r: El gobierno de Pedro Castillo ayuda a Juan Silva a fugar del país

Estructura formal de la inferencia

Si p, entonces no q y r. p. Por lo tanto, no q y r

Simbolización de la inferencia

[(p→(~q∧r)] ∧ p .→. ~q∧r

Nombre de regla de inferencia que aplicó

Modus Ponendo Ponens (MPP)

Texto inferencial 2

O aumentan los contagios de Covid-19 en nuestro país, o los ciudadanos completan su tercera
dosis de refuerzo contra el Coronavirus y el Minsa aumenta los puntos de vacunación. Sin
embargo, no es cierto que los ciudadanos completan su tercera dosis de refuerzo contra el
Coronavirus y el Minsa aumenta los puntos de vacunación. Por lo tanto, aumentan los contagios
de Covid-19 en nuestro país.

Referencia bibliográfica

Valdivia, Á. (2022, 7 junio). Coronavirus en Perú: detectan en el Perú linajes BA.4 y BA.5

de ómicron. La República Perú. Recuperado de:

https://larepublica.pe/sociedad/2022/06/07/coronavirus-en-peru-detectan-en-el-peru-

linajes-ba4-y-ba5-de-omicron-vacunacion-minsa-covid-19/

Lista de proposiciones simples

p: Aumentan los contagios de Covid-19 en nuestro país

q: Los ciudadanos completan su tercera dosis de refuerzo contra el coronavirus

r: El Minsa aumenta los puntos de vacunación

Estructura formal de la inferencia

O p, o q y r. Sin embargo, no es cierto que q y r. Por lo tanto, p

Simbolización de la inferencia

[p ∨ (q ∧ r)] ∧ ~(q ∧ r) .→. p

Nombre de regla de inferencia que aplicó

Silogismo disyuntivo (SD)

Texto inferencial 3

Si el Ejecutivo organiza todos los preparativos para llevar a cabo la mesa de diálogo entre la
empresa minera y los representantes de las comunidades campesinas, el diálogo podrá realizarse
en los próximos días. Si el diálogo se realiza en los próximos días, existe la oportunidad de que se
reactiven las actividades mineras que llevan paralizadas casi 60 días. Por tanto, si el Ejecutivo
organiza todos los preparativos para llevar a cabo la mesa de diálogo entre la empresa minera y los
representantes de las comunidades campesinas, existe la oportunidad de que se reactiven las
actividades mineras que llevan paralizadas casi 60 días.

Referencia bibliográfica

Perú 21. (09 de junio de 2022). Crece expectativas por diálogo en Las Bambas. Perú 21.
https://peru21.pe/politica/crece-expectativa-por-dialogo-en-las-bambas-noticia/

Lista de proposiciones simples

p: El Ejecutivo organiza todos los preparativos para llevar a cabo la mesa de diálogo entre la
empresa minera y los representantes de las comunidades campesinas.

q: El diálogo podrá realizarse en los próximos días.

r: Existe la oportunidad de que se reactiven las actividades mineras que llevan paralizadas casi 60
días.

Estructura formal de la inferencia

Si p, q. Si q, r. Por tanto, si p, r.

Simbolización de la inferencia

(p → q) ∧ (q → r) .→. (p → r)

Nombre de regla de inferencia que aplicó

Silogismo Hipotético Puro

Texto inferencial 4
Si encuentran pruebas de asesinato en contra de Roxana Ruiz, una mujer indigena de 22 años,
que es madre de un niño de 4 años, entonces seguirá en la cárcel por ser acusada de asesinato.
No seguirá en la cárcel por ser acusada de asesinato. Por lo tanto, no encuentran pruebas de
asesinato en contra de Roxana Ruiz.

Referencia bibliográfica
Castañeda, M. (17 de febrero de 2022). Un paso hacia la libertad de Roxana Ruiz, acusada de
matar a su violador con exceso de legítima defensa. El País. https://elpais.com/mexico/2022-02-
17/un-paso-hacia-la-libertad-de-roxana-ruiz-acusada-de-matar-a-su-violador-con-exceso-de-
legitima-defensa.html

Lista de proposiciones simples

p: encuentran pruebas de asesinato en contra de Roxana Ruiz, una mujer indigena de 22 años,
que es madre de un niño de 4 años

q: seguirá en la carcel por ser acusada de asesinato

Estructura formal de la inferencia

Si p entonces q. No q. Por lo tanto, no p.
Simbolización de la inferencia
[ (p → q) ∧ ~q ] → ~p

Nombre de regla de inferencia que aplicó

MTT Modus tollendo tollens