Untitled

LEYES DE INFERENCIA LÓGICA

RAZONAMIENTOS LÓGICOS

Es una forma donde nos permite verificar equivalencias lógicas sin tener que recurrir a las tablas de verdad, estas son:

RAZONAMIENTO DEDUCTIVO

RAZONAMIENTO INDUCTIVO

Es la actividad que consiste en la organización y la estructuración de ideas para alcanzar una conclusión.

Es aquel que parte de un enunciado general para concluir con enunciados mas generales.

Es aquel que inicia su proceso discursivo a partir de enunciados menos generales.

Ejemplo: Todo administrador de empresas de la UNAD aprende lógica matemática, Paula estudia administración de empresas en la UNAD, Por lo tanto paula aprende lógica matemática.

Ejemplo: Paula estudia en la UNAD y será profesional, Sandra también estudia en la UNAD y será profesional, Por lo tanto si estudias en la UNAD serás profesional.

CONCEPTUALIZACIÓN DE LAS REGLAS DE INFERENCIA.

LÓGICA MATEMÁTICA

Es la actividad que consiste en la organización y la estructuración de ideas para alcanzar una conclusión

Modus Ponendo Ponens (MPP)

Premisa 1: p→q

Premisa 2: p

Conclusión: q

Conmutativa (CNM)

Premisa 1: p∧q

Conclusión: q∧p

Silogismo Hipotético (SH)

Premisa 1: p→q

Premisa 2: q→r

Conclusión: p→r

Adjunción (ADJ)

Premisa 1: p

Premisa 2: q

Conclusión: p∧q

Doble Negación (DN)

Premisa 1: ∼∼P

Conclusión: p

Ley de Adicción (AD)

Premisa 1: p

Conclusión: p∨q

Simplificación (SIMP)

Premisa 1: p∧q

Conclusión 1: P

Conclusión 2: q

Modus Tollendo Ponens (MTP)

Premisa 1: p∨q

Premisa 2: ¬p

Conclusión: q

Modus Tollendo Tollens (MTT)

Premisa 1: p→q

Premisa 2: ¬q

Conclusión: ¬p

Bicondicional (BIC)

Premisa 1: p↔r

Conclusión 1: q→p

Conclusión 2: p→q

Dilema Destructivo (DD)

Premisa 1: p→q

Premisa 2: s→r

Premisa 3: ~q∨~r

Conclusión: ~p∨~s

De Morgan I (DMI)

Premisa 1: ∼(p∧q)

Conclusión: ∼p∧∼q

Dilema Constructivo (DC)

Premisa 1: p→r

Premisa 2: s→r

Premisa 3: p∨r

Conclusión: q∨r

De Morgan II (DMII)

Premisa 1: ∼(p∨q)

Conclusión: ∼p∨∼q

se tiene en cuenta:

Sujeto

Expresión

Proceso

Contenido