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