Subido por Benjamin Israel Llactahuaman Quispe

Semana 17.2-teoria-Narda

Anuncio
PREUNIVERSITARIO
2023-1
TEMA
RAZONAMIENTO LOGICO
18.1
CONTENIDOS
1. Argumentación
2. Inferencias lógicas
3. Reglas de las inferencias
4. Lógica de Clases
2
ARGUMENTACIÓN
ARGUMENTAR
es defender una idea sobre la base de otras ideas generalmente aceptadas como ciertas.
Los datos de partida con los cuales se inicia la argumentación reciben el nombre de PREMISAS.
Lo justificado recibe el nombre de CONCLUSIÓN.
dado que . . .,
se sigue de . . .,
Las premisas son antecedidas por indicadores de razón, como:
a partir de . . .,
puesto que . . .,
etc.
por lo tanto . . .,
por ello . . .,
Las conclusiones vienen antecedidas por los indicadores de conclusión como:
en consecuencia . etc.
Una argumentación puede tener varias premisas y conclusiones pero pueden no ser válidas,
Ejemplo de argumento.
Si comes en exceso, vas a tener malestar estomacal
3
INFERENCIAS LÓGICAS
LÓGICA GENERAL. es la ciencia que estudia la estructura como el contenido del pensamiento.
Formas del pensamiento
• Concepto
• juicio
• razonamiento
RAZONAMIENTO. es la operación discursiva que permite obtener un conocimiento nuevo, inferido
de otros conocimientos nuevos, un razonamiento es una inferencia.
• deductivo
Tipos de razonamiento
• Inductivo
RAZONAMIENTO INDUCTIVO. se observa patrones para resolver problemas.
RAZONAMIENTO DEDUCTIVO. se determina la validez de los argumentos lógicos.
INFERENCIA. es un conjunto de proposiciones tal que una de ellas llamada conclusión, debe ser
consecuencia de las otras llamadas premisas; la conclusión está implicada por la conjunción de las
premisas.
Una inferencia es válida cuando su razonamiento es correcto y una inferencia no válida cuando el
razonamiento es incorrecto.
4
DERIVACIÓN Y VALIDEZ DE LOS RAZONAMIENTOS.
La Derivación es el análisis de la validez de los razonamientos, haciendo uso de la implicaciones
notables (reglas de inferencia) y equivalencias notables (formulas lógicas). En estas reglas no intervienen
las estructuras de las proposiciones, solo su valor de verdad.
Las premisas se consideran siempre verdaderas y el razonamiento está direccionado ( no se puede usar
la regla para llegar de las conclusiones a las premisas) lo que no sucede en las equivalencias notables.
INFERENCIAS VÁLIDAS Y NO VÁLIDAS
VERDAD Y VALIDEZ.
"valido" y "verdadero no es lo
mismo.
Primero. Debe aclararse, que si afirmamos
que una determinada inferencia es válida, no por eso su
conclusión debe ser
verdadera.
Segundo. Los valores
de verdad o falsedad se aplican solo a las proposiciones, y una inferencia no es
una proposición sino una relación entre proposiciones.
Tercero. Puede ocurrir que la inferencia, sea no válida, y que tanto las premisas como la conclusión
sean verdaderas.
5
Ejemplo.
p1 :
p2 :
Las manzanas son comestibles
El sol sale por el este
C ∶ Aristóteles fué un filósofo.
Todas las proposiciones son verdaderas, pero si lo analizamos lógicamente es obvio que no se tiene
una inferencia válida.
INFERENCIAS LÓGICAS
Forma vertical
p1
p2
p3
Premisas
⋮
pn
C
Forma horizontal
p1 ∧ p2 ∧ p3 ∧. . . ∧ pn ⟹ C
⟶ Conclusión
6
SILOGISMO.
es un razonamiento que consta de tres proposiciones,donde la tercera proposición es la
conclusión de las dos primeras.
p1
p2
∴ p3
Observación:
a= b
b= c
∴ a= c
p> q
q>r
p >r
Nota: En el silogismo se observa que en la conclusión el término común no ha participado.
7
VALIDACIÓN DE INFERENCIAS.
podemos tener la validez de una proposición:
1. Mediante la tabla de verdad
Ejercicio
Determine la validez de la inferencia
"Si no apruebo algebra, no pasaré el ciclo, pero pude pasar el ciclo. Por lo tanto aprobé
algebra".
Solución
Sean:
p:
q:
apruebo algebra.
pude pasar el ciclo.
8
El esquema de la inferencia es:
~p
⟶
~q
p
∴ p
Validamos mediante la tabla de verdad:
p
q
~p ⟶ ~q ∧ p ⟶ p
𝑽
𝑽
𝑭
𝑽
𝑭
𝑽
𝑽
𝑽
𝑽
𝑽
𝑭
𝑭
𝑽
𝑽
𝑽
𝑽
𝑽
𝑽
𝑭
𝑽
𝑽
𝑭
𝑭
𝑭
𝑭
𝑽
𝑭
𝑭
𝑭
𝑽
𝑽
𝑽
𝑭
𝑭
𝑽
𝑭
La inferencia es considerada válida, dado que el resultado de la tabla de verdad es una
Tautología.
9
2. Mediante el método abreviado
Este método nos evita construir la tabla de verdad y permite suponer la conjunción de
premisas verdaderas y la conclusión falsa.
( p1 ∧ p2 ∧ p3 ∧ . . . pn ) → q
V
V V
V
F
Se aplica los siguientes pasos:
a) Suponer que la conclusión es falsa
b) Suponer que todas las premisas son verdaderas.
c) Deducimos la validez de las variables en función de las reglas de verdad, pudiendo
empezar por el operador de las premisas o por la conclusión que ofrece una sola posibilidad.
d) Si cada variable cumple con una sola función veritativa, diremos entonces se ha probado
que la conjunción de premisas es verdadera y que la conclusión es falsa; por consiguiente,
la inferencia no será válida ( no existe la implicación).
e) Si una variable tiene dos valores de verdad y falsedad a la vez, quedará demostrado que
no es posible que la conjunción de premisas sea verdadera y la conclusión falsa. Por lo que
hay implicación y la inferencia será válida.
Ejemplo
Dada la siguiente inferencia lógica
p
r
⟶
⟶
q
p
p
⟶
r
1ra. premisa
2da. premisa
¿Qué se puede afirmar?
Conclusión
Escribimos en forma horizontal:
(p
V
⟶
q)
V
∧
V
(r
F
⟶
V
V
p)
V
⟶
(p
⟶
V
r)
F
F
F
V(p)=V,
V(q)=V,
V(r)=F; las premisas son VERDADERAS, pero la conclusión es FALSA.
Entonces el argumento es inválido..∴
Ejemplo
Hallar la validez de la inferencia por el método abreviado:
p
q
p
⟶
⟶
⟷
q
p
q
primera premisa
segunda premisa
conclusión
Solución
La inferencia puede escribirse en forma horizontal:
Premisa
Premisa
Conclusión
p
q
p
⟶
q
⟶
p
⟷
q
Regla 1: suponer que la conclusión es falsa: Por tanto; p puede ser verdadera y q falsa
(bicondicional) .
p
⟶
q
q
⟶
p
V
p
⟷
F
F
q
Regla 2: Que todas las premisas son VERDADERAS.
V
p
⟶
q
q
⟶
V
p
V
p
F
⟷
q
F
Regla 3: Se conoce los valores de p, q deducida de la conclusión según la regla 1: p=V; q=F
Regla 4: Siendo p=V, para que la primera premisa resulte verdadera, entonces el valor de q
debe ser verdadero (condicional).
V V
V
F
p
⟶
q
q
⟶
p
p
⟷
q
El valor de q =V lo trasladamos a la segunda premisa, y por lo tanto el valor de p también
debe ser verdadero.
V
V
V
V
V
F
p
q
q
p
p
q
V
V
F
¿Cuáles son los valores de verdad de p y q? p= V , q= V , q= F
Regla 6: Según esta regla, q toma dos valores de verdad, en consecuencia la inferencia
es válida.
Observación:
Si se traslada el valor de q =F a la primera premisa y luego a la segunda, se obtiene que los
valores de verdad de p=V , p=F. ¡ Comprobar !
IMPLICACIONES NOTABLES
1.Modus Ponendo Ponens:
p
p
∴ q
⟶
q
4. Simplificación :
p ∧ q
∴p
2. Modus Tollendo Tollens:
p ⟶ q
~q
∴~ p
5. Adición:
p
∴ p
∨
q
3. Conjunción:
p
q
∴p ∧ q
6. Silogismo Disyuntivo:
p ∨ q
~p
∴q
7. Silogismo
Hipotético:p
q
∴p
8. Transitividad Simétrica:
⟶
⟶
⟶
q
r
q
10. Dilema Destructivo Compuesto:
p ⟶ q
r ⟶ s
~q ∨ ~s
∴ ~p ∨ ~r
p
q
∴ p
⟷
⟷
⟷
q
r
r
9. Dilema Constructivo Compuesto:
p
r
p
⟶
∨
q
s
r
∴q
∨
s
⟶
15
Ejemplo:
Deduzca una conclusión del conjunto de premisas, mediante las leyes
de inferencia:
”Si no me dan el trabajo, entonces, sigo viviendo con mis padres. Si sigo
viviendo con mis padres, entonces, no aprendo a ser independiente.
Aprendo a ser independiente o seré un mantenido. No seré mantenido.
A) No me dan el trabajo.
D) Seré un mantenido.
B) Me dan el trabajo.
E) Vivo con mis padres.
C) Aprendo a ser independiente.
16
Solución.
Sean las proposiciones:
𝟏) ~p ⇒ q
Premisa 1
𝐩:
me dan el trabajo
𝟐)
q ⇒ ~r
Premisa 2
𝐪:
sigo viviendo con mis padres
𝟑)
r∨s
Premisa 3
𝐫:
𝐬:
aprendo a ser independiente
𝟒)
𝟓)
~s
r
Premisa 4
MTP entre 3 Y 4
𝟔)
~q
MTT entre 2 y 5
𝟕)
p
MTT entre 1 y 6
seré un mantenido
Conclusión:
MTT
MTP
p
MTT
17
LOGICA DE CLASES
CLASE.
es aquello que reúne, colecciona elementos que tienen al menos una característica
en común.
COMPLEMENTO.
es todo lo que le falta a la Clase, para completar el Universo
CLASE + COMPLEMENTO= UNIVERSO
CLASE
Las plantas
Los abogados
Los policías
COMPLEMENTO
Las no plantas
Los no abogados
Los no policías
El no del Complemento no es la negación de la Clase
18
CUANTIFICADORES.
sirve para relacionar a la clase, al Complemento o ambos
Afirmativo
Negativo
Universales
Todos . . .
Ningún . . .
Particulares
(Existencial)
Algunos . . .
Algunos . . . no . . .
La calidad Negativo, no implica estar negando, solo es una forma de expresarse
”Vamos a la playa y si me ahogo”
PROPOSICIONES CATEGORICAS:
Todos los S
Ningún
S
son
es
P
P
Algunos
S
son
P
Algunos
S no son P
19
Observación:
La representación de una Clase
Se niegan
No puedo asegurar si tiene
o no tiene elementos
I. Todos los S son P
Cantidad: Universal
Calidad : Afirmativa
II. Ningún S es P
𝕌+
III. Algunos S no son P
Cantidad: Particular
ℙ−
Calidad : Negativa
IV. Algún S es P
Cantidad: Universal
Cantidad: Particular
Calidad : Negativa
Calidad : Afirmativa
ℙ+
20
Ejercicio.
a) Ningún no A es B
A
B
Represente gráficamente a:
no A
a) Ningún no A es B
b) Ningún B es no A
A
b) Ningún B es no A
Resolución
a) Ningún (no A) es B
A
B
B
Recordemos que: Ningún (S) es P
no A
En Conclusión las dos son equivalentes.
Además es equivalente a la siguiente proposición categórica:
Todo B es A
Ejercicio.
Deduzca una conclusión del conjunto de premisas, aplicando lógica de clases.
𝐏𝟏 : Todo M es N
𝐏𝟐 : Algún M es P
Resolución
𝐏𝟏 : Todo M es N
M
N
M ∩ 𝐍=∅
Si los términos medios son
iguales, cambia de signo el
termino mayor
𝐏𝟏 :
𝐏𝟐 :
𝐌 ∩𝐍 =∅
𝐌 ∩𝐏 ≠∅
𝐂:
𝐏∩𝐍≠∅
𝐏𝟐 : Algún M es P
M
P
M ∩ P≠ ∅
N
P
“Algunos N son P”
22
Ejercicio.
Deduzca una conclusión del conjunto de premisas, aplicando lógica de clases.
𝐏𝟏 : Todo B es C
𝐏𝟐 : Ningún C es D
Resolución
𝐏𝟏 : Todo B es C
B
C
B ∩ 𝐂=∅
𝐏𝟐 : Ningún C es D
C
Si los términos medios son
diferentes, no cambia de
signo el termino mayor
𝐏𝟏 :
𝐏𝟐 :
𝐁 ∩𝐂 =∅
𝐂 ∩𝐃 =∅
𝐂:
𝐁∩𝐃=∅
D
B
C ∩ D= ∅
D
“Ningún B es D”
23
Ejemplos.
I. Todo A es B
Ningún B es C
A
B
C
Ningún A es C
∴
II. Todo A es B
Algún C es A
III. Ningún A es B
Algún C es B
A
B
A
∴
Algún C no es A
C
Algún C es B
IV. Todo A es B
Todo B es C
A
C
∴
B
∴
B
C
Todo A es C
24
Descargar