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
    • 11.6: Lógicas Modal
      https://espanol.libretexts.org/Humanidades/Filosofia/Conjuntos_Logica_Computacion_(Zach)/02%3A_Logica_de_primer_orden/11%3A_Mas_alla_de_la_logica_de_primer_orden/11.06%3A_L%C3%B3gicas_Modal
      Se obtiene la lógica proposicional modal de la lógica proposicional ordinaria agregando un operador de caja; es decir, siA es una fórmula, así es◻A. Intuitivamente,◻A afirma que\(A...Se obtiene la lógica proposicional modal de la lógica proposicional ordinaria agregando un operador de caja; es decir, siA es una fórmula, así es◻A. Intuitivamente,◻A afirma queA es necesariamente cierto, o cierto en cualquier mundo posible.

    Support Center

    How can we help?