Mind map

LÓGICA PROPOSICIONAL

Marisa Romero Lógica Spanish

Map content

ENUNCIADOS O PROPOSICIONES
- Simples
- Compuestos
  - Operadores o conectivos lógicos
    - Principales
      - negación
      - conjunción
      - disyunción inclusiva
    - Secundarios
      - disyunción exclusiva
      - condicional
        tiene asociados:
        recíproco - contrario - contrarrecíproco
        Condiciones necesaria y suficiente
      - bicondicional
    - Poseen un orden o prioridad
  - Valores de verdad: V o F
    - Se reúnen en tablas de verdad
- Forma lógica
  - Se pueden simplificar para obtener un enunciado más sencillo
LEYES LÓGICAS
- Tautologías
  - contradicciones
- Algunas de ellas: Ley de De Morgan - Universales acotadas.
ARGUMENTOS O RAZONAMIENTOS
- válidos
  - reglas de inferencia
- no válidos
- Métodos para probar la validez
  - condicional asociado
  - directo
  - indirecto