Ejercicio 1 unidad 2
LÓGICA MATEMÁTICA LEYES DE LA INFERENCIA
LÓGICA
La lógica matemática 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. El razonamiento
lógico se emplea en matemáticas para
demostrar teoremas; en ciencias de la
computación para verificar si son o no
correctos los programas; en las
ciencias física y naturales, para sacar
conclusiones de experimentos; y en las
ciencias sociales y en la vida
cotidiana, para resolver una multitud
de problemas. Ciertamente se usa en
forma constante el razonamiento
lógico para realizar cualquier
actividad.
RAZONAMIENTOS LÓGICOS
Son aquellas que demuestran las condiciones El razonamiento lógico o causal es una
y premisas con casos reales: operación lógica mediante la cual,
MODUS PONENDO PONENS (PP):
partiendo de uno o más juicios, se deriva la
P→Q “Si llueve, entonces las calles se mojan”
P “Llueve” validez, la posibilidad o la falsedad de otro
MODUS TOLLENDO TELLENS (TT): juicio distinto.
“Tollendo tellens” significa “negando, niego” CONCEPTOS BÁSICOS:
y se refiere a una propiedad inversa de los
condicionales, a los que nos referimos en
primer lugar. AXIOMA O POSTULADO:
p→q “Si llueve, entonces las calles se mojan”
⌐q “Las calles no se mojan” Es una proposición primitiva que se admite como
DOBLE NEGACION (DN): cierta.
⌐p(⌐p)↔p INDEPENDENCIA:
El esquema representa, “p doblemente negada
equivale a p”. Siguiendo el esquema de una Ningún axioma ha de poderse deducir de otros.
inferencia por pasos; la representaríamos asì: COMPATIBILIDAD:
⌐(⌐) “No ocurre que Ana no es una Dos axiomas no pueden formular en ellos, ni
estudiante” producir en sus resultados derivados, relaciones
ADJUNCION Y SIMPLIFICACION contradictorias.
Adjunción (A): Si disponemos de dos SUFICIENCIA:
enunciados afirmamos como dos premisas Toda proposición verdadera ha de ser deducible
separadas, mediante la adjunción, podemos dentro del sistema.
unirlos en una sola premisa utilizando el TEOREMA:
operador ^ (conjunción). Es una proposición que ha de demostrarse cierta,
P “juan es cocinero” mediante un razonamiento lógico a partir de los
Q “pedro es policía” axiomas o de otros teoremas previamente
MODUS TOLLENDO PONENS (TP): justificados.
p˅q “He ido al cine o me he ido de compras”
⌐q “No he ido de compras”
 REFERENCIAS BIBLIOTECAS.

https://sites.google.com/site/logicaysufundamento/razonamientos-logicos

https://sites.google.com/site/matediscretasatilanocarrillo/unidad-2-logica-matematica/2-2-4-leyes-y-reglas-de-la-inferencia

http://logicamatebasic.blogspot.com/2010/05/introduccion-ala-logica-matematica.html