LOGICA MATEMATICA

Es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la Lógica proporciona reglas y técnicas para
determinar si es o no valido un argumento dado.

DEFINICIÓN Y CLASES DE PROPOSICIONES: LEYES DE INFERENCIA RAZONAMIENTO LOGICO

Una proposición o enunciado es una oración que Son aquellas que demuestran las condiciones
puede ser falsa o verdadera pero no ambas a la vez. y premisas con casos reales. Toda Regla de RAZONAMIENTO DEDUCTIVO: aquel que parte
Inferencia se dividirá en dos partes: 1) un de enunciados mas generales para concluir con
• Simples si sólo tienen un sujeto, un verbo y un conjunto de Premisas y 2) una Conclusión. enunciados menos generales, se lo caracteriza
complemento. Para aplicarla se deberá verificar como aquella inferencia cuyas premisas
• En caso contrario, son proposiciones ofrezcan pruebas contundentes para afirmar la
primeramente que las proposiciones a
Compuestas. verdad de su conclusión; y esto ocurre cuando
considerar se ajusten perfectamente a la
siendo las premisas verdaderas, su conclusión
• Cerradas si tienen determinado el sujeto. manera en la cual las premisas están también es necesariamente verdadera, es
Abiertas si no lo tienen determinado. especificadas. Si es el caso, entonces decir, es imposible que la conclusión sea falsa.
• Afirmativas o Negativas. Según lo afirmen o simplemente se observa la forma de la
nieguen. conclusión y se utilizan aquellas premisas RAZONAMIENTO INDUCTIVO: se caracteriza
• Verdaderas o Falsas según correspondan o no a adecuadas para ajustarla debidamente. por iniciar su proceso discursivo a partir de
la realidad. enunciados de menor generalidad que fungen
• MODUS PONENS como premisas, hacia enunciados de mayor
CONECTIVOS LÓGICOS EN PROPOSICIONES • MODUS TOLLENS generalidad que funcionan como conclusión.
COMPUESTAS • REGLA DE ADJUNCIÓN Por ello, se asume que la inducción va de lo
• Conjunción p∧r • REGLAS DE SIMPLIFICACIÓN particular a lo general. De ahí que el
• Disyunción p∨r • MODUS TOLLENDO PONENS argumento inductivo consiste en inferir que
• Negación p’ • todos los individuos de una clase x (colección
LEY DEL SILOGISMO HIPOTÉTICO
de objetos que tienen alguna característica
• REGLAS DE ADICIÓN
específica en común) tienen la propiedad s
PROPOSICIONES CONDICIONALES
(esto es la conclusión).
p→q (se lee "si p entonces q") p↔q (se lee "p si y
sólo si q")