Loading [MathJax]/jax/output/SVG/config.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/Matematicas/Combinatoria_y_Matematicas_Discretas/Matem%C3%A1ticas_Discretas_(Levin)/3%3A_L%C3%B3gica_Simb%C3%B3lica_y_Pruebas/3.S%3A_L%C3%B3gica_Simb%C3%B3lica_y_Pruebas_(Resumen)
      En el nivel más básico, una sentencia podría combinar declaraciones más simples usando conectivas lógicas. A menudo hacemos uso de variables, y cuantificamos sobre esas variables. Cómo resolver la ver...En el nivel más básico, una sentencia podría combinar declaraciones más simples usando conectivas lógicas. A menudo hacemos uso de variables, y cuantificamos sobre esas variables. Cómo resolver la verdad o falsedad de una afirmación basada en estos conectivos y cuantificadores es de lo que se trata la lógica. A partir de esto, podemos decidir si dos declaraciones son lógicamente equivalentes o si una o más afirmaciones (lógicamente) implican otra.

    Support Center

    How can we help?