Buenas, me surgió la siguiente duda:
Si hay una contradicción en el "lado izquierdo" de la consecuencia lógica es suficiente para decir que la afirmación es verdadera?
Gracias.
Hola.
A que te referís con la afirmación?
@#\bot \models \varphi#@
Es verdadera para cualquier
.
Sin embargo, va a tomar el valor que cada valuación le asocie. En particular, podría ser una contradicción.
No se si queda más claro.
Saludos
FDO.
A que te referís con la afirmación?
@#\bot \models \varphi#@
Es verdadera para cualquier
.Sin embargo,
va a tomar el valor que cada valuación le asocie. En particular, podría ser una contradicción.No se si queda más claro.
Saludos
FDO.
Me refería a la afirmación de la consecuencia lógica, como el ejemplo que diste: ⊥⊨φ es verdadera.
Quedo claro, gracias.