Buscar

Loading [MathJax]/jax/output/HTML-CSS/jax.js

4.2: Complejidad de las Fórmulas
https://espanol.libretexts.org/?title=Matematicas/Logica_Matematica_y_Pruebas/Introducci%C3%B3n_amistosa_a_la_l%C3%B3gica_matem%C3%A1tica_(Leary_%26_Kristiansen)/04:_Incompletitud_desde_dos_puntos_de_vista/4.02:_Complejidad_de_las_F%C3%B3rmulas
\[ \left( \forall x < t \right) \phi \: \text{means} \: \forall x \left( x < t \rightarrow \phi \right) \\ \left( \forall x \leq t \right) \phi \: \text{means} \: \forall x \left( \left( x < t \lor x ... $\left( \forall x < t \right) \phi \: \text{means} \: \forall x \left( x < t \rightarrow \phi \right) \\ \left( \forall x \leq t \right) \phi \: \text{means} \: \forall x \left( \left( x < t \lor x = t \right) \rightarrow \phi \right) \\ \left( \exists x < t \right) \phi \: \text{means} \: \exists x \left( x < t \land \phi \right) \\ \left( \exists x \leq t \right) \phi \: \text{means} \: \exists x \left( \left( x < t \lor x = t \right) \land \phi \right).$

Search