En este ejercicio sería verdadera la proposición si todas las valuaciones hicieran falso a fi, y sería falsa si existiera una valuación que hiciera verdadero a fi. Lo único que se es que v1(fi)=0, y con esta información no veo como probar que sea falsa o verdadera, ya que no se nada de las demás valuaciones ni de como está compuesta fi. Entonces digo que no se puede afirmar nada? Capaz hay alguna forma de probar la proposición y no se me ocurre.
En respuesta a Gaston Jose Abella Lopez
Re: Primer parcial 2014, ej 2.a.II
Hola Gastón, comparto tu argumento, no se puede afirmar nada. No sabemos como es φ, podría ser φ=⊥, en tal caso me parece que la afirmación sería VERDADERA, pero en caso que φ=p0 sería FALSA.
Saludos,
Diego
En respuesta a Diego Gabriel Martorell Bazterrica
Re: Primer parcial 2014, ej 2.a.II
de Romina Romero - InCo -
Hola.
Son correctas las observaciones y los ejemplos. La justificación formal sería lo que dijeron, pero más formalizado, explicitando que eso se desprende de la deifnición de consecuencia semántica.
Cualquier duda consulten.
Saludos