Untitled

Lógica Matemática

Es la disciplina que trata de métodos de razonamientos, porporciona reglas y técnicas para determinar si un argumento es válido o no

Razonamientos inductivos y deductivos

Proposiciones y conectivos lógicos

Leyes de Inferencia

-Conjunción: p∧r

- Disyunción: p∨r

-Negación: ¬p

-Condicional: p→q

-Bicondicional: p↔q

-Modus Ponens: [(p→q)∧p]→q

--Modus Tollens: [(p→q)∧¬q]→¬p

-Regla de adjunción: (p∧q)→(p∧q)

-Reglas de simplificación: (p∧q)→p v (p∧q)→q

-Modus tollendo ponens: {(pvq)∧¬p}→q

-Ley del silogismo hipotético:((p→q)∧(q→r))→(p→r)

-Reglas de Adición: p→(pvq)

Inductivo: consiste en obtener conclusiones generales a partir de premisas que contienen datos particulares.

-Deductivo: inferir necesariamente una conclusión a partir de una serie de premisas