LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL

1. 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

2. LEYES LÓGICAS

   • Tautologías
     • contradicciones
   • Algunas de ellas: Ley de De Morgan - Universales acotadas.

3. ARGUMENTOS O RAZONAMIENTOS

   • válidos
     • reglas de inferencia
   • no válidos
   • Métodos para probar la validez
     • condicional asociado
     • directo
     • indirecto

Bilder und Dateien der Mindmap