Ejercicio 2 Parte a II - Primer Parcial 2021

Ejercicio 2 Parte a II - Primer Parcial 2021

de Gonzalo Riso Machado -
Número de respuestas: 2

Buenas tardes.

Mi consulta es sobre la solución planteada para el ejercicio 2 la parte a II:


En la solución se plantea: 

Mi duda puntual es que para conseguir  se plantea considerar  pero para conseguir se pide considerar v(Po) = 1. 

Entonces no me queda claro por que esta bien justificado para diferentes valores de un mismo v(Po), ya que el enunciado pide que alpha o beta sean justificación lógica de Gamma y no en simultaneo 

Quizás la respuesta es trivial y no me estoy dando cuenta, desde ya, muchas gracias.

En respuesta a Gonzalo Riso Machado

Re: Ejercicio 2 Parte a II - Primer Parcial 2021

de Guillermo Calderon - InCo -

Hola Gonzalo:

Para probar que no se cumple

  • Γ ⊨ α o Γ ⊨ β

Tenemos que probar que:

  • Γ ⊭ α y Γ ⊭ β

Notar que cambiamos o por y.

A su vez para probar que Γ ⊭ α tenemos que probar:

  • [1] existe v tal que v(Γ) = 1 y v(α) = 0

y para probar que Γ ⊭ β tenemos que probar:

  • [2] existe v tal que v(Γ) = 1 y v(β) = 0

Las valuaciones usadas para probar [1] y [2] no tienen por qué ser la misma.

No sé si estoy respondiendo lo que vos preguntás. Cualquier cosa volvé a escribir.