Examen

UMSNH

July 23, 2023

Contents

1 Instrucciones
El ejercicio consta de dos secciones. La sección I consta de 5 preguntas, se
tiene que determinar si las secuencias de sı́mbolos son fórmulas de L0 . Si no
es una fórmula señala en dónde se encuentra el error. Cada pregunta vale 1
punto. La segunda sección consiste en construir las fórmulas utilizando las
reglas recursivas de la definición del conjunto de fórmula de L0 , cada pre-
gunta vale 2.5. El total de punto de este examen son 10.

1
2 Parte I
• (p Iconstade5preguntas, setienequedeterminarsilassecuenciasdesı́mbolossonf órmulasdeL0
Si no es una fórmula señala en dónde se encuentra el error. Cada
pregunta vale 1 punto. La segunda sección consiste en construir las
fórmulas utilizando las reglas recursivas de la definición del conjunto de
fórmula de L0 , cada pregunta vale 2.5. El total de punto de estewedge(¬
q))

• ((s ∨ pq) ↔ t)

• (p → (q (¬(r) → ¬(t ∨ s))

• (p → (q → p))

• (¬β ↔ t )

ón I consta de 5 preguntas, se tiene que determinar si las secuencias de

sı́mbolos son fórmulas de L0 . Si no es una fórmula señala en dónde se en-
cuentra el error. Cada pregunta vale 1 punto. La segunda sección consiste en
construir las fórmulas utilizando las reglas recursivas de la definición del con-
junto de fórmula de L0 , cada preguLa segunda sección consiste en construir
las fórmulas utilizando las reglas recursivas de la definición del conjunto de
fórmula de L0 , cada pregunta vale 2.5. El total de punto de esize

2
3 Parte II
• ((¬s L̇asegundasecciónconsisteenconstruirlasf órmulasutilizandolasreglasrecursivasdelade
cada pregunta vale 2.5. El total de punto de esr)→ ¬(t ∨ s))

• (p → ((s ∨ ¬s) → p))