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
    • 4.3: Negaciones
      https://espanol.libretexts.org/Matematicas/Logica_Matematica_y_Pruebas/Pruebas_y_conceptos_-_Los_fundamentos_de_la_matem%C3%A1tica_abstracta_(Morris_y_Morris)/04%3A_L%C3%B3gica_de_primer_orden/4.03%3A_Negaciones
      A continuación, el conectivo∨ en el término izquierdo se cambia a& (y¬ se aplica a los subtérminos), y la regla para negar⇒ se implica al término correcto: \[\exists s...A continuación, el conectivo∨ en el término izquierdo se cambia a& (y¬ se aplica a los subtérminos), y la regla para negar⇒ se implica al término correcto: ∃s∈S,((¬(s∈A)&¬(s∈B))∨((s∈C)&¬(s∉D))).

    Support Center

    How can we help?