Please enable JavaScript.

Coggle requires JavaScript to display documents.

Lógica Matemática - Coggle Diagram

- - - - Simple: Tiene un solo valor de verdad (ej. "Hoy llueve").
      - Compuesta: Unión de varias proposiciones con conectores (∧, ∨, →, ¬).
    - - Herramienta que muestra todos los posibles valores de verdad de una proposición compuesta.
    - - Tautología: Siempre verdadera.
      - Contradicción: Siempre falsa.
      - Contingencia: Algunas veces verdadera, otras falsa.
    - - Proposiciones que tienen la misma tabla de verdad.
    - - Permiten obtener conclusiones válidas a partir de premisas.
    - - Válido: Si las premisas verdaderas garantizan conclusión verdadera.
      - No válido: No se garantiza la conclusión aunque las premisas sean verdaderas.
    - - Proceso lógico y paso a paso para probar la validez de un argumento o proposición.
- - - - Existencial (∃): “Existe al menos uno…”
      - Universal (∀): “Para todo…”
    - - Predicado: Enunciado con variables (ej. P(x): “x es par”)
      - Se evalúan sustituyendo variables por valores concretos.