Buscar

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

5.6: La codificación es representable
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)/05:_Incompletitud_sint%C3%A1ctica_-_Fundamentaci%C3%B3n/5.06:_La_codificaci%C3%B3n_es_representable
\[Codenumber \left( a \right) \land \\ Divides \left( SS0, a \right) \land \neg Divides \left( SSSS0, a \right) \land \\ \left( \forall y < a \right) \left( \forall z < a \right) \left( \forall k < a ... $Codenumber \left( a \right) \land \\ Divides \left( SS0, a \right) \land \neg Divides \left( SSSS0, a \right) \land \\ \left( \forall y < a \right) \left( \forall z < a \right) \left( \forall k < a \right) \\ \left[ \left( Divides \left( z, a \right) \land Primepair \left( y, z \right) \right) \rightarrow \\ \: \: \: \: \: \left( Divides \left( y^k, a \right) \leftrightarrow Divides \left( z^{Sk}, a \right) \right) \right].$

Search