Buenas, tenemos una duda acerca de la siguiente afirmación:
⊬φ <-> ⊭φ <-> ⊨¬φ <-> ⊢¬φ <-> φ⊢⊥
Entonces la duda que tenemos es que si tenemos ⊬φ podemos decir que φ⊢⊥ por lo tanto demostrar que φ es inconsistente.
Gracias.
Buenas, tenemos una duda acerca de la siguiente afirmación:
⊬φ <-> ⊭φ <-> ⊨¬φ <-> ⊢¬φ <-> φ⊢⊥
Entonces la duda que tenemos es que si tenemos ⊬φ podemos decir que φ⊢⊥ por lo tanto demostrar que φ es inconsistente.
Gracias.