Hola. En el ejercicio 2 se plantea:
La frase c del ejercicio 2 dice:
Creo que es VERDADERA.
Para justificarlo planteo la definición de consecuencia lógica. Osea, que φ es consecuencia lógica de PROP sii para cualquier valuación v: si para toda proposición ψ en PROP, v(ψ) = 1, entonces v(φ) = 1. (*)
Pero no existe (v : Val) tal que para toda proposición ψ en PROP, v(ψ) = 1, pues para cualquier proposición ψ en PROP su negación (¬ψ) también está en PROP.
Luego, por principio de hipótesis falsa, resultado verdadero, se cumple (*). Por lo tanto, por definición de consecuencia lógica, se cumple c.
Sería correcto este razonamiento? O hay algo equivocado o que no estoy teniendo en cuenta?
Gracias, saludos.