Es aquella que opera utilizando un lenguaje simbólico artificial y realizando una
abstracción de los contenidos.
Proposiciones simples y compuestas.
Recordamos que una proposición es una oración
declarativa a la cual se le puede asociar un valor de
verdad.
Proposiciones simples.
Así como en álgebra las variables que representan
cantidades pueden formar expresiones más complejas
mediante el uso de las operaciones básicas de
aritmética y algunas funciones, en lógica podemos
relacionar proposiciones mediante los conectivos lógicos.
Proposiciones compuestas.
Una proposición será compuesta si no es
simple. Es decir, si está afectada por
negaciones o términos de enlace entre oraciones
componentes.
conectivos lógicos.
son símbolos usados para
combinar proposiciones
simples dadas, produciendo
así otras llamadas
proposiciones compuestas.
Tablas de Verdad.
Aunque ya se han utilizado las tablas de verdad para obtener los valores
de verdad de proposiciones simples y compuestas, aún no las hemos
definido formalmente. Una tabla de verdad, o tabla de valores de verdad,
es una tabla que muestra el valor de verdad de una proposición
compuesta, así como de algunos casos de proposiciones simples, cuando
estas utilizan los operadores lógicos de negación y doble negación,
dependiendo de los operadores lógicos usados y de los valores de
verdad de las proposiciones simples involucradas.
Clasificación de argumentos.
Leyes de la inferencia lógica.
Un conjunto de herramientas que nos permiten
verificar equivalencias lógicas sin tener que
recurrir a las Tablas de Verdad. Sin embargo,
estas herramientas están cimentadas,
entiéndase demostradas, precisamente por el
método basado en Tablas de Verdad.
Razonamientos Lógicos
El razonamiento es una forma de
pensamiento compuesta por juicios (que
expresan conocimientos, datos o
información) que el sujeto pensante tiene
que manejar, estudiar o analizar en su
mente y luego llevar a cabo toda un serie
de decisiones internas para después
encadenar y ordenar dichos juicios.
Tipos de
Razonamientos.
Razonamiento deductivo.
Se conoce como razonamiento deductivo,
por lo tanto, a la actividad de la mente
que permite inferir necesariamente una
conclusión a partir de una serie de
premisas. Esto quiere decir que,
partiendo de lo general, se llega a lo
particular.
Para comprender el concepto de
razonamiento deductivo, debemos
tener presentes otros, que lo
complementan, como son los
siguientes:
Argumento; proposición, premisa,
conclusión; axioma:, reglas de
inferencia
Razonamiento inductivo
Se caracteriza por iniciar su
proceso discursivo a partir de
enunciados de menor generalidad
que fungen como premisas, hacia
enunciados de mayor generalidad
que funcionan como conclusión.