Lógica

Lógica

1. Lógica matemática

   • Tabla de la verdad
     • Es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de verdad que se pueda asignar
   • Conectores lógicos
     • Es un símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas o sentencias, de modo que el valor de verdad de la fórmula compuesta depende del valor de verdad de las fórmulas componentes
       • Está formado por varias proposiciones
         • Conjunción (y): Solo es verdadera únicamente cuando las dos proposiciones son verdaderas (p Ʌ q). Disyunción (o): Es verdadera únicamente cuando una de las dos proposiciones, sea verdadera (p V q). Implicación (→): Es falsa únicamente cuando la primera proposición es verdadera y la segunda es falsa (p → q) .

2. Leyes de inferencia lógica

   • Una regla de inferencia, o regla de transformación es una forma lógica que consiste en una función que toma premisas, analiza su sintaxis, y devuelve una conclusión (o conclusiones)
     • Tiene varios tipos de leyes, como lo son:
       • Modus Ponens: que significa “negando, afirmo” si uno de los miembros de una disyunción es negativa, el otro miembro queda automáticamente, verdadero
       • Modus tollens: que significa, “negando, niego” se refiere a una propiedad inversa de los condicionales
       • El silogismo disyuntivo: Es aquel cuya premisa mayor establece una disyunción exclusiva, de manera que los dos miembros no pueden ser simultáneamente verdaderos, ni simultáneamente falsos.

3. Razonamiento lógico

   • Es la actividad mental que permite lograr la estructuración y la organización de las ideas para llegar a una conclusión.
     • Existen varios tipos de razonamientos lógicos
       • Razonamiento deductivo: Se basa en la creencia en una premisa o una afirmación universal para llegar a obtener una conclusión para cada caso particular. Así, se va de lo general a lo particular, pudiendo realizar conclusiones para un caso concreto basadas en la suposición o deducción a partir de lo que consideramos globalmente cierto.
       • Razonamiento inductivo: Es aquel proceso de pensamiento en el cual se parte de la información particular para llegar a una conclusión general.

Bilder und Dateien der Mindmap