Examen

UMSNH

July 23, 2023

Contents
1 Instrucciones 1

2 Parte I 2

3 Parte II 3

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

• (¬β ↔ 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
conjunto de fórmula de L0 , cada preguLa segunda sección consiste en con-
struir las fórmulas a 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

2
sección consiste en construir las fórmulas utilizando las reglas recursivas de
la definición del conjunto de fórsegunda sección consiste en construir las
fútilizando 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 mula de L0 , cada preg-
uLa segunda sección consiste en construir las fútilizando 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

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))s ∨ ¬s)