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 ellas debe ser fmf por una única razón y por distinto
tipo de error que las otras dos. Justifique detalladamente por qué. Los ejemplos deben ser originales
(no copie). (3 puntos)
Secuencia de símbolos Es fmf, ¿por qué?
No, porque la negación no puede afectar a otro
(p˅q)˄(r˅s)→(p∼→ t)
símbolo, infringe la RF2.
p˅q˅r .→. t˄∼p→(s˄r) No, porque hay ambigüedad en jerarquía.
(p˅q)→r.↔.(~s˄∼T˄u) No, porque “T” no es un símbolo proposicional.
1
2. Construye una fbf CONTINGENTE, que debe estar conformada de 5 variables proposicionales y todos
los operadores lógicos. Esta debe respetar el siguiente esquema de fbf: , donde cada
metavariable represente a una fbf compuesta distinta. 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)
2
3. Cita o redacta 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. El texto debe ser original (No copie). Cuide su ortografía y
redacción. No olvide colocar la referencia bibliográfica. Luego, traduce los textos creados al lenguaje
de la Lógica Proposicional, haciendo explícito todo el proceso de simbolización. (8 puntos)
Texto 1:
Aunque haya una reducción del porcentaje de contagios por coronavirus, no se impartirán las clases
presenciales; por lo tanto, el MINEDU se enfocará en implementar servicios de saneamiento de
diversos colegios y en promocionar la educación remota de centros universitarios.
Referencia Bibliográfica:
Perú 21. (13 de Mayo del 2021). Minedu: no se reanudarán clases presenciales en zonas urbanas
pese a reducción de cifras por COVID-19. [Link]
reanudaran-clases-presenciales-en-zonas-urbanas-pese-a-reduccion-de-contagios-y-fallecidos-
por-covid-19-segunda-ola-nndc-noticia/
Lista de proposiciones simples:
p: Hay una reducción del porcentaje de contagios por coronavirus
q: se impartirá las clases presenciales
r: el MINEDU se enfocará en implementar servicios de saneamiento de diversos colegios.
s: el MINEDU se enfocará en promocionar la educación remota de centros universitarios.
Estructura formal
Aunque p, no q; por lo tanto, r y s.
Simbolización:
[(p ˅ ∼p) → q)] → (r ˄ s)
Texto 2:
Si no se quiere apoyar a un partido político indirectamente en primera vuelta para que pase la vaya
electoral, entonces no se debe votar en blanco o viciado. Sin embargo, si se está muy indeciso
porque partido político votar, entonces se debe de investigar mejor sobre las propuestas de cada
partido político.
Referencia Bibliográfica:
Pajares, D. (24 de marzo del 2021). Voto blanco y viciado: ¿Cómo pueden estas opciones afectar
los resultados de las Elecciones 2021? RPP Noticias. [Link]
2021-voto-blanco-y-viciado-como-pueden-estas-opciones-afectar-los-resultados-de-los-comicios-
el-poder-en-tus-manos-noticia-1327692?ref=rpp
Lista de proposiciones simples:
p: se quiere apoyar a un partido político indirectamente en primera vuelta para que pase la vaya
electoral
q: se debe votar en blanco
r: se debe votar viciado
s: se está muy indeciso porque partido político votar
t: se debe de investigar mejor sobre las propuestas de cada partido político.
Estructura formal
Si no p, entonces no q o r. Sin embargo, si s, entonces t
Simbolización:
[~p → ~(q ˅ r)] ˄ (s → t)
3
4. Redacte un texto inferencial sobre un tema relevante de la sociedad actual. Coloque la referencia
bibliográfica que lo inspiró. La inferencia debe tener al menos 4 proposiciones simples y al menos 4
operadores lógicos; a su vez, debe tener al menos dos premisas; además, debe presentar al menos
dos casos especiales de simbolización distintos. El texto debe ser original (No copie). 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 es válida o no aplicando Diagrama
Semánticos, e indique el tipo de inferencia. (5 puntos)
Texto inferencial:
Aunque el estado dio incentivos tributarios a las empresas por la pandemia, el nivel de desempleo
aumento en el Perú. En el tercer trimestre del 2020 los comercios abrieron; en consecuencia, la caída
del PBI se redujo. Sin embargo, el nivel de desempleo aumento. Por consiguiente, el nivel de
desempleo no aumentara a menos que se den incentivos tributarios a las empresas o el caída del
PBI se reduzca.
Referencia Bibliográfica:
El Comercio. (4 de enero del 2021). En busca del empleo perdido: ¿Quiénes sufrieron más la
reducción de puestos de trabajo tras la crisis?. [Link]
empleo-perdido-quienes-sufrieron-mas-la-reduccion-de-puestos-de-trabajo-tras-la-crisis-noticia/
Lista de proposiciones simples:
p: el estado dio incentivos tributarios a las empresas por la pandemia
q: el nivel de desempleo aumento en el Perú
r: En el tercer trimestre del 2020 los comercios abrieron
s: la caída del PBI se redujo
Estructura formal
Aunque p, q. r; en consecuencia, s. Sin embargo, q. Por Consiguiente, no q a menos que p o s.
Simbolización:
(p ˄ q) ˄ [(r → s) ˄ q)] .→. [(p ˅ s) ˅ ~q]
Diagrama semántico:
Tipo de inferencia:
Valida