Razonamientos Proposicionales
(Inferencia Lógica)
Es aquel cuya estructura se puede expresar en forma proposicional de tal manera que su validez o invalidez se determina por la manera en que están
relacionadas las proposiciones mediante las conectivas, sin que se requiera un análisis de la forma interna de las proposiciones simples.
Una inferencia lógica o argumento lógico, es un razonamiento expresado en una frase cuya última parte se arma con base a lo que previamente se haya
declarado.
Prof: Roxana Martinez Monteza
Ejemplos
• El razonamiento en el lenguaje natural es:
1.
1. “Si estudio, aprendo" (premisa 1)
2. “Estudio" (premisa 2)
Luego: “Aprendo" (Conclusión)
Esto, en lenguaje formal, es:
2. pq (premisa 1)
3. p (premisa 2)
q (Conclusión) (*)
Una inferencia puede ser una tautología, una contingencia, o una
contradicción.
Si la condicional (*) es una TAUTOLOGÍA, es decir si es una Implicación
entonces recibe el nombre de ARGUMENTO VÁLIDO o inferencia Válida.
Si la condicional (*) no es una Tautología entonces se denomina
FALACIA.
Ejemplos
• Si 6 es mayor que 4, 2 es menor que 7
2.
6 es mayor que 4
2 es menor que 7
3. La honestidad o el cumplimiento de los compromisos es una
virtud social
La honestidad no es una virtud social
El cumplimiento de los compromisos es una virtud social
4. El civismo y la ética son principios para la vida
La ética es un principio para la vida.
Razonamientos Proposicionales Válidos
•
Son formas o esquemas de razonamientos proposicionales elementales que son válidos
cualesquiera que sea el contenido del razonamiento. Son reglas sintácticas que
permiten deducir, a partir de ciertas formas proposicionales, otras formas
proposicionales. Entre los razonamientos proposicionales válidos tenemos:
a) MODO PONENDO PONENS(MPP):
Ejemplo:
Si el cielo es azul, entonces las nubes son blancas
El cielo es azul
Las nubes son blancas
Si llueve, las calles se mojan
Está lloviendo
Las calles se están mojando
El polígono equilátero tiene lados congruentes, puesto que si el cuadrado no es
poliedro entonces el polígono equilátero tiene lados congruentes.
El cuadrado no es un poliedro.
Razonamientos Proposicionales Válidos
•
b) MODO TOLLENDO TOLLENS (MTT):
Ejemplo:
Si la ballena es un cetáceo, entonces la oveja es un equino
La oveja no es un equino
La ballena no es un cetáceo
Los triángulos equiláteros tienen tres lados iguales
Si el cuadrado tiene 4 lados, los triángulos equiláteros no tienen 3 lados
iguales.
El cuadrado no tiene 4 lados
El gallo es ovíparo. Luego, la paloma no es una ave, ya que si la paloma es
un ave, entonces el gallo no es ovíparo.
Razonamientos Proposicionales Válidos
•
c) SILOGISMO HIPOTÉTICO PURO (SHP):
Ejemplo:
Si 6 es divisible por 3, entonces 8 es divisible por 2
Si 8 es divisible por 2, entonces 7es un número primo
Si 6 es divisible por 3, entonces 7 es un número primo
Si llueve, las calles se mojan
Si las calles se mojan, me resbalo
Si llueve, me resbalo
Si el triángulo es isósceles, entonces Lambayeque tiene tres provincias
Si Lambayeque tiene tres provincias, entonces el pentágono no tiene cinco lados
Si el triángulo es isósceles, entonces el pentágono no tiene cinco lados
Razonamientos Proposicionales Válidos
•
d) SILOGISMO DISYUNTIVO (SD):
Ejemplo:
El trabajo es una obligación del hombre o una costumbre
El trabajo no es una costumbre
El trabajo es una obligación del hombre
El sol es una estrella o la luna es un satélite, pero la luna no es un satélite.
Luego el sol es un estrella
11 no es un número par o 13 es un número primo
11 es un número par
13 es un número primo
Razonamientos Proposicionales Válidos
•
e) DILEMA CONSTRUCTIVO COMPUESTO (DCC):
Ejemplo:
El algarrobo es una planta o 2=3
Si el algarrobo es una planta, entonces el algarrobo es alimento; y si 2=3, 9 < 11
El algarrobo es alimento o 9 < 11
Si la filosofía es una actividad, entonces la lógica es el estudio del razonamiento y si
la psicología estudia el pensamiento, entonces la sintaxis estudia las reglas de los
signos.
La filosofía es una actividad o la psicología estudia el pensamiento. En
consecuencia, la lógica estudia el razonamiento o la sintaxis estudia las reglas de los
signos.
Razonamientos Proposicionales Válidos
• DILEMA DESTRUCTIVO COMPUESTO (DDC):
f)
Ejemplo:
Si el número 2 es natural, entonces ½ es racional; y si 3 es entero,
entonces es un número irracional. ½ no es racional o no es un
número irracional.
En consecuencia, el número 2 no es natural o 3 no es entero.
María es abogada o enfermera. Si Marta es profesora, entonces
María no es abogada; y si Marta es ingeniera, entonces María no es
enfermera.
Luego, Martha no es profesora o no es ingeniera.
Razonamientos Proposicionales Válidos
•
g) TRANSITIVIDAD SIMÉTRICA (TS):
Ejemplo:
El pavo es ave galliforme si y solo si el faisán también lo es.
El faisán es ave galliforme si y solo si el huanay es pelecaniforme.
El pavo es ave galliforme si y solo si el huanay es pelecaniforme.
El alcohol es un derivado del agua si y solo si el éter es un derivado del agua.
Luego, el alcohol es un derivado del agua si y solo si la cera es un líquido simple,
ya que el éter es un derivado del agua si y solo si la cera es un lípido simple.
Razonamientos Proposicionales Válidos
•
h) CONJUNCIÓN O ADJUNCIÓN (CON):
Ejemplo:
La materia está compuesta de partículas indivisibles.
8 es un número real.
La materia está compuesta de partículas indivisibles y 8 es un
número real.
El aceite es un lípido simple
La grasa es un lípido simple
El aceite y la grasa son lípidos simples
Chiclayo es provincia de Lambayeque. Luego, Ferreñafe y Chiclayo son
provincias de Lambayeque, dado que Ferreñafe es provincia de
Lambayeque.
Razonamientos Proposicionales Válidos
• SIMPLIFICACIÓN (SIM):
i)
Ejemplo:
8 y 10 son números pares. Luego, 10 es un número par.
Cristóbal Colon descubrió América y la naranja es un fruta
La naranja es una fruta
Lima y Quito son capitales de países sudamericanos.
Lima es de país sudamericano
Razonamientos Proposicionales Válidos
• ADICIÓN (AD):
j)
Ejemplo:
10 es un número par. Luego, 10 es un número par o es un número primo.
Cristóbal Colon descubrió América
Cristóbal Colon descubrió América o la naranja es una fruta
Lima es capital de Perú.
Lima es capital de Perú o Quito es capital de Ecuador
Métodos de Prueba de Validez
1. Prueba por Implicación Condicionada: Un razonamiento es
válido si y sólo si el condicional asociado a la forma de
dicho razonamiento es tautológico.
Dado un razonamiento se halla su forma proposicional y se
construye un condicional cuyo antecedente es la conjunción
de las premisas y su consecuente es la conclusión.
Se determina la columna resultante de la tabla de verdad del
condicional.
Si la tabla de verdad es una tautología, entonces el
razonamiento y todos aquellos que tengan dicha forma son
válidos, caso contario serán inválidos.
05/04/2020 14
Métodos de Prueba de Validez
2. Prueba Directa o por Derivación: Consiste en operar con
las premisas utilizando las leyes de las proposiciones y las
formas proposicionales válidas hasta obtener la conclusión.
Si esto sucede, el razonamiento es válido.
Hallamos la forma proposicional del razonamiento (cuando el
razonamiento está dado en lenguaje común o usual.
Seleccionar a cual o cuales de las premisas debemos aplicar
las leyes proposicionales o las formas proposicionales para
obtener una nueva forma proposicional.
Las nuevas formas proposicionales obtenidas y las premisas
del razonamiento se operan lógicamente (aplicar leyes o
formas proposicionales) hasta obtener la conclusión.
05/04/2020 15
Métodos de Prueba de Validez
3. Prueba Indirecta o por el absurdo: Consiste en suponer lo
contrario de lo que se quiere demostrar, y a partir de ello
unida al conjunto de premisas deducir una contradicción.
Hallamos la forma proposicional del razonamiento (cuando el
razonamiento está dado en lenguaje común o usual.
Se niega la conclusión del razonamiento y se añade como una
premisa al conjunto de premisas del razonamiento, esta
nueva premisa se denomina premisa adicional.
En el nuevo conjunto de premisas se opera como en la
prueba directa hasta llegar a una contradicción a cualesquiera
de las premisas o de sus variables o formas proposiciones.
05/04/2020 16
