Trata los metodos de razonamiento, proporciona
reglas y tecnicas para determinar si es o no valido un
argumento dado por medio de tablas de verdad y reglas de equivalencia.
Clasificación de la lógica
Tradicional o no Funcional
Son las experiencias
humanas obtenidas del
conocimiento y observación
del mundo.
Simbólica o formal
Se encarga de investigar,
desarrollar y establecer los
principios fundamentales que
siguen la validez.
Principios
De identidad
De contradicción o
no contradicción
De exclusión o
tercio excluido
De razón
suficiente
Tablas de verdad
Son representaciones
esquematicas de las
relaciones entre las
proposiciones
Conectivos lógicos
Al igual que las
proposiciones se les asigna
un lenguaje simbolico el
cual sirve para enlasar dos
o mas proposiciones
simples
son
Negación
Conjunción
Disyunción
Condicional
Bicondicional
Razonamiento
Deductivo
Inductivo
Inferencias lógicas
Conjunción, dilema
constructivo, modus tallendos
pones, modus ponendos pones,
simplificación, adición, modus
tollendo tollens,
absorción,silogismo hipotético.