Please enable JavaScript.

Coggle requires JavaScript to display documents.

Lógica proposicional - Coggle Diagram

- - - - A partir de estos y las proposiciones simples se crean proposiciones compuestas. Según el conectivo lógico que se use, la proposición se puede denominar cómo de negación, conjunción, disyunción, condicional o bicondicional.
        
        Y: Conjunción
        
        Une proposiciones que son verdaderas simultáneamente
        
        No: Negación
        
        O: Disyunción
        
        Unión de posibilidades
        
        Si... Entonces: Condicional
        
        Expresa causa-efecto
        
        Si y solo si: Bicondicional
        
        Equivalentes
    - - Postulados: Proposiciones que son aceptadas sin demostración.
      - Conjeturas: Proposiciones que se consideran verdaderas, pero que no han sido demostradas o refutadas
      - Definiciones: Proposiciones que claramente describen las propiedades de un objeto matemático
      - Teoremas: Proposiciones que pueden ser demostradas a través de postulados, definiciones y teoremas que ya han sido demostrados anteriormente.