Enlazar dos o más proposiciones
simples como lo son: La
conjunción, La disyunción, La
negación, El condicional y el
Bicondicional
Operaciones como:
Unión, Intersección,
Complemento, Diferencia
Simétrica, Producto
Cartesiano, Álgebra de
Conjuntos y Principios de
dualidad
Validez de razonamientos lógicos y leyes de inferencia
Deductivo
Las
conclusiones
son una
consecuencia
necesaria de
las premisas,
cuando las
premisas
resultan
verdaderas y
el
razonamiento
Deductivo
tiene validez
Si el razonamiento no es válido, se pueden dar las premisas pero no la conclusión
Leyes de Inferencia, 9 en total
Mpp o Modus Ponendo Ponens,
El modus Tollendo Tollens o
MTT, SD o silogismo disyuntivo,
SH o silogismo hipotético,
Dilema constructivo, Sim, Ad, Conj,
Abs, estas leyes se conforman
por enunciados llamados
premisas
Inductivo
Elabora conclusiones
generales a partir de
enunciados
observacionales
particulares