Please enable JavaScript.

Coggle requires JavaScript to display documents.

LÓGICA CLÁSICA (Es (Pensado como sistema lógico bivalente, Admite solo dos…

- - - - Disyunción: O; Símbolos V
      - Condición Material: Si... entonces; Símbolos :arrow_right: , ⊃
      - Conjunción: Y; Símbolos ^, &
      - Bicondicional: Si y solo si; Símbolos ↔, ≡
      - Negación: NO; Símbolos ¬ : , ~ :
      - Disyunción opuesta: Ni... ni; Símbolos :arrow_down:
      - Disyunción Exclusiva: O bien... o bien; Símbolos ↮, ⊕ , ≢ , W
- - - - Monotonicidad de la Implicación
        
        La hipótesis de cualquier hecho derivado puede extenderse libremente con supuestos adicionales.
        
        Idempotencia de vinculación
        
        Si se tiene dos hipótesis equivalentes se deja solo una, pero solo es valido si se puede aplicar la regla de contracción.
      - Propiedad conmutativa de la conjunción
        
        Dos enunciados son equivalentes si sus tablas de verdad son iguales.
        
        Operaciones con proposiciones
        
        En Lógica se realizan operaciones entre proposiciones
      - No contradicción
        
        La proposición y su negación, no puede ser ambas verdaderas al mismo tiempo y en el mismo sentido.
        
        Explosión
        
        De una proposición contradictoria se puede deducir cualquier otra proposición.
      - Leyes de Morgan
        
        Son dos reglas de inferencia válidas, permiten la expresión de las conjunciones y disyunciones puramente en términos de vía negación.
      - Tercero excluido
        
        La disyunción de una proposición y su negación es siempre verdadera.
        
        Doble negación
        
        Teorema que afirma "Si un enunciado es verdadero, entonces, no es el caso de que la declaración no es cierta"