Loading [MathJax]/jax/output/HTML-CSS/jax.js
Saltar al contenido principal
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
LibreTexts Español

Buscar

  • Filtrar resultados
  • Ubicación
  • Clasificación
    • Tipo de artículo
    • Author
    • Show TOC
    • Cover Page
    • License
    • Transcluded
      • Autonumber Section Headings
      • License Version
    • Incluir datos adjuntos
    Buscando en
    Acerca de 1 resultados
    • 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.03:_Conjuntos_y_funciones_representables
      Así, tomar como hipótesisN,ϕ(ˉa,y), y (z<y)(¬ϕ(x,z))y demostrar que hay una deducción de ambos\(\neg \left...Así, tomar como hipótesisN,ϕ(ˉa,y), y (z<y)(¬ϕ(x,z))y demostrar que hay una deducción de ambos¬[¯f(a)<y] y¬[y<¯f(a)].

    Support Center

    How can we help?