LÓGICA (HU191)
TAREA ACADÉMICA 2 (TA2)
Ciclo 2022-1
Profesor: Jesús Pacheco
SECCIÓN: EX22
GRUPO: 4
NOTA: ………
FICHA DE AUTOEVALUACIÓN Y COEVALUACIÓN GRUPAL:
INTEGRANTE ACTIVIDADES Y APORTES DE NOTA FIRMA
CADA UNO (Describa
(Apellidos y nombres – EN ORDEN detalladamente qué hizo cada (De 0% a
ALFABÉTICO) integrante en la TA2) 100%)
1 Alatta Quispe, Jhesdy Pregunta 4. 100%
Shiomara.
2 Berrio Muñoz, Ana Daniela. Pregunta 3( segunda 100%
parte)
3 Ayala Pacco, Ariana Camila pregunta 2 80%
4 Muñoz Morales, Cesar Pregunta 3 ( primera 100%
Enrrique parte) y pregunta 2
5 Paico Vidal Jade Antonela Pregunta 1 y pregunta 2 100%
OBSERVACIONES:
● Contestar en la misma prueba.
● Llene sus respuestas solo en los recuadros correspondientes.
● Redacción y ortografía serán tomadas en cuenta para la calificación de la prueba.
● Los temas a tratar dentro de la prueba (TA2) deben ser de problemáticas relevantes
de la sociedad actual nacional o internacional (desde marzo del 2022).
1. Construye 3 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 debe cometer solo un error y el error debe ser
de distinto tipo que el de las otras dos. Justifique detalladamente por qué es fmf. Los ejemplos deben
ser originales (no copie). (3 puntos)
Secuencia de símbolos Es fmf, ¿por qué?
1
[~p ∧ (q➞r)] = [(~s ∨ t) .∧. Sí es fmf, porque “=” no es un símbolo
(u⬌t)] proposicional.
Sí es fmf, porque A, B, C y D no son
variables proposicionales. Son
{[(A∧B)➞(C∧D)] ∨ [(~p∧q)⬌(r➞s)]}
metavariables, las cuales representan
cualquier fbf.
p➞q➞r➞s➞r➞u⬌v⬌w⬌x⬌y⬌z➞p➞q Sí es fmf, porque no existe una jerarquía
⬌r⬌s⬌t entre los operadores.
2. Construye una fbf CONTINGENTE que respete el siguiente esquema de fbf: A .∧. ~B → ~C, donde
cada metavariable represente a una fbf compuesta distinta. Su fbf contigente debe estar conformada
de 5 variables proposicionales y todos los operadores lógicos (puede utilizar los símbolos de las
variables y los operadores más de una vez). La fbf debe ser original (No copie). Asimismo, aplique
diagramas semánticos para demostrar que es contingente. Realiza el análisis de ramas y reconstruye
su TV. Sea ordenado y limpio en la presentación de su DS y todo lo solicitado. (4 puntos)
FBF:
( r → t )∧ s .∧.∼[(p⬌ q) ∨ t)] → ∼p
DS:
ANÁLISIS DE RAMAS Y RECONSTRUYE SU TV:
2
3. Cite 2 textos sobre temas relevantes de la sociedad actual (desde marzo de este año). Estos deben
estar conformados de al menos 4 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, traduzca los textos citados al lenguaje de la
Lógica Proposicional, haciendo explícito todo el proceso de simbolización. (8 puntos)
Texto 1:
“Cuando una persona presenta los síntomas de la viruela del simio, es
altamente contagioso. Para que alguien contraiga esta enfermedad, deberá
tener algún contacto físico con la persona que presenta los síntomas, ya sea por
los fluidos corporales, pus o sangre. Las costras son un área muy infecciosa.”
Referencia bibliográfica:
Policlínica Metropolitana. (29 de mayo de 2022). Viruela del mono: Origen,
síntomas y tipos de contagio. Recuperado de
https://policlinicametropolitana.org/informacion-de-salud/viruela-del-
mono-origen-sintomas-y-tipos-de-contagio/
Lista de proposiciones simples:
p: Una persona presenta los síntomas de la viruela del simio
q: Altamente contagioso
3
r: Alguien contrae esta enfermedad
s: Contacto físico con la persona que presenta los síntomas
t: Es por los fluidos corporales
u: Es por pus
v: Es por sangre
w: Las costras son un área muy infecciosa.
Estructura formal
Cuando p, es q. Para que r, deberá tener algún s, ya sea t, u o v. w.
Simbolización:
[(p → q) ∧ ( r → s)] .→. [ t ∧ (u ∨ v)] ∧ w
Texto 2:
“La informalidad laboral es una problemática social, aunque se trató de reducir
porcentualmente y afecta a las ventas de las empresas formales. Sin embargo,
conlleva a un desbalance de la empresa, generando el desempleo o disminución
de personal porque no hay ventas.”
Referencia bibliográfica:
Consecuencias de la informalidad laboral y empresarial de las mipymes . (2020,
24 de octubre). Blog de la Facultad de Negocios UPN.
https://blogs.upn.edu.pe/negocios/consecuencias-de-la-informalidad-laboral-y-
empresarial-de-las-mipymes/
Lista de proposiciones simples:
p: La informalidad laboral es una problemática social.
q: Tratar de reducir porcentualmente la informalidad laboral
r: La informalidad laboral afecta en las ventas de las empresas formales
s: Conlleva un desbalance de la empresa
t: Generando el desempleo
4
u: Disminución de personal
w:Hay ventas
Estructura formal
p, aunque q y r. Sin embargo, s, t ó u porque no w.
Simbolización:
(p ∧∼p)→ (q ∧ r) .∧. ∼w→ [(s ∨ t)∧ u]
4. Redacte una inferencia sobre un tema relevante de la sociedad actual (desde marzo de este año).
Coloque la referencia bibliográfica que lo inspiró. La inferencia debe conformarse de por al menos 4
proposiciones simples y todos los operadores lógicos; a su vez, debe tener al menos dos
premisas; además, debe presentar tres casos especiales de simbolización distintos. El texto
debe ser original (No copie ni el contenido ni la estructura del texto.). Cuide su ortografía y
redacción. Luego, traduzca el texto al lenguaje de la Lógica Proposicional, haciendo explícito todo el
proceso de simbolización. Finalmente, determine si la inferencia es válida o no aplicando Diagrama
Semánticos, e indique el tipo de inferencia. (5 puntos)
Texto inferencial:
Aunque las ganas de jugar son actos que aseguran un buen partido de fútbol, no es
el caso de que solo ello asegure ganar la competencia y ni ser reconocidos
mundialmente como mejores futbolistas. Por lo tanto, se tiene que tener en
cuenta la buena preparación solo si se anhela el triunfo del equipo peruano ante
Australia.
Referencia bibliográfica:
Inzirillo, A. (8 de junio del 2022). Atento Perú: Australia llega armado y con altísimo
porcentaje de victorias. BITBOL. https://www.bitbol.la/mundial-qatar-2022/peru-
vs-australia-repechaje-qatar-bitbol/
Lista de proposiciones simples:
p= Las ganas de jugar son actos que aseguran un buen partido de fútbol.
q= Las ganas de jugar asegura ganar la competencia.
r=Las ganas de jugar asegura ser reconocidos como mejores futbolistas.
s= Se tiene que tener en cuenta la buena preparación.
t=Se anhela el triunfo del equipo peruano ante Australia.
Estructura formal
5
Aunque p, no es el caso que q y ni r. Por lo tanto, si no s no t.
Simbolización:
(p v ∼p ) →(∼q ∧ ∼ r) .→. (∼s→∼ t)
Diagrama semántico:
Tipo de inferencia:
El tipo de inferencia es inválida, ya que se asume la falsedad de la hipótesis y al no cerrarse todas
sus ramas quiere decir que se cumple la hipótesis, por lo que es probable que las premisas sean
verdaderas y la conclusión sea falsa.
6
7
LISTA DE COTEJO PARA TA2
Reactivo 1: Construye fórmulas mal formadas (fmf) que deben tener al menos 15 símbolos. Cada una de ellas
debe ser fmf por una única razón y por distinto tipo de error que las otras tres. Justifique detalladamente por qué.
Los ejemplos deben ser originales (no copie). (3 puntos)
Criterios Satisfactorio En proceso En inicio Observaciones
Construye 3 fmf originales que deben tener al menos 15
símbolos. Cada fmf debe tener un solo error, que debe 1.5 puntos 1 punto 0 puntos
ser de distinto tipo que el error de las otras dos.
Justifique detalladamente por qué es fmf. 1.5 puntos 1 punto 0 puntos
Reactivo 2: Construye una fbf contingente. La fbf debe conformase de 5 variables proposicionales y todos los
operadores lógicos. Además, debe respetar el esquema dado, donde cada metavariable representa a una fbf
compleja distinta. La fbf debe ser original (No copie). Además, aplique diagramas semánticos para demostrar
que es contingente. Realiza el análisis de ramas y reconstruye su TV. (4 puntos)
Criterios Satisfactorio En proceso En inicio Observaciones
Construye una fbf original que tenga 5 variables
proposicionales y todos los operadores lógicos.
1 punto 0.5 punto 0 puntos
Además, debe respetar el esquema dado, donde cada
metavariable representa a una fbf compleja distinta.
Aplica diagramas semánticos para demostrar que es
2 puntos 1 punto 0 puntos
contingente.
Realiza el análisis de ramas y reconstruye su TV. 1 punto 0.5 punto 0 puntos
Reactivo 3: Cite 2 textos sobre temas relevantes de la sociedad actual. Estos deben estar conformados de al
menos 4 proposiciones simples y al menos 3 operadores lógicos distintos. Cada texto debe tener un operador de
mayor jerarquía distinto. Los textos deben ser originales (No copie). Cuide su ortografía y redacción. Coloque la
referencia bibliográfica. Luego, traduzca los textos al lenguaje de la Lógica Proposicional, haciendo explícito todo
el proceso de simbolización. (8 puntos)
Criterios Satisfactorio En proceso En inicio Observaciones
Cite 2 textos sobre temas relevantes de la sociedad
actual. Estos deben estar conformados de al menos 4
proposiciones simples y al menos 3 operadores lógicos
distintos. Cada texto debe tener un operador de mayor 2 puntos 1 punto 0 puntos
jerarquía distinto. Los textos deben ser originales. Cuide
su ortografía y redacción. Coloque la referencia
bibliográfica.
Identifique las proposiciones simples que componen los
textos y asigne a cada una de ellas una variable
2 puntos 1 punto 0 puntos
proposicional distinta, en orden alfabético y en orden de
aparición; y escribe un listado de estas.
Construye la estructura formal (reemplazar las 2 puntos 1 punto 0 puntos
proposiciones por las variables y dejar en lenguaje
natural todo lo demás, incluso los signos de puntuación)
8
de los textos dados.
Escribe la fórmula bien formada de LP que corresponde
2 puntos 1 punto 0 puntos
a cada texto dado.
Reactivo 4: Determine la validez de una inferencia, teniendo en cuenta lo siguiente: redacte un texto inferencial
sobre un tema relevante de la sociedad actual, que debe tener al menos 4 proposiciones simples y todos los
operadores lógicos. La inferencia debe tener al menos dos premisas, a su vez, debe presentar tres casos
especiales de simbolización distintos. El texto debe ser original (No copie). Cuide su ortografía y redacción.
Luego, traduzca el texto creado al lenguaje de la Lógica Proposicional, haciendo explícito todo el proceso de
simbolización. Después, aplica Diagrama Semánticos e indica el tipo de inferencia. (5 puntos)
Criterios Satisfactorio En proceso En inicio Observaciones
Redacte un texto inferencial sobre un tema relevante de
la sociedad actual, que debe tener al menos 4
proposiciones simples y todos los operadores lógicos; a
su vez, debe tener al menos dos premisas y debe 1 punto 0.5 punto 0 puntos
presentar tres casos especiales de simbolización
distintos. Cuide su ortografía y redacción. Coloque la
referencia bibliográfica que lo inspiró.
Indique la fórmula bien formada de LP que corresponde
al texto dado, respetando la interpretación de los
2 puntos 1 punto 0 puntos
operadores y la jerarquía, y habiendo identificado para
ello las proposiciones simples y la estructura formal.
Aplica las reglas y el proceso operativo de los DS para
1.5 punto 1 punto 0 puntos
determinar la validez.
Indica el tipo de inferencia. 0.5 punto - 0 puntos
Reactivo 5: Cumple con las indicaciones. (Penalidad, se restará puntaje del obtenido). (- 2 puntos)
Indicador de logro Satisfactorio En proceso En inicio
● Usa lenguaje académico.
● Entrega oportunamente su trabajo.
● El trabajo está debidamente identificado. - 0 puntos - 1 punto - 2 puntos
● Usa adecuadamente el formato.
● Etc.
Puntaje obtenido:
