Unidad 4 Logica Formal 128998250563
Unidad 4 Logica Formal 128998250563
Unidad 4 Logica Formal 128998250563
Reconocer proposiciones.
Clasificar las proposiciones:
• Simples – Compuestas
• Tautológicas – Contingentes - Contradictorias
Identificar conectivas lógicas
Saber la definición de las conectivas.
Saber formalizar los razonamientos.
Resolver Tablas de Verdad.
Aplicar métodos para determinar la validez.
¿Qué es la Lógica?
La distinción entre el razonamiento correcto e
incorrecto es el principal problema que aborda la
lógica”. –Irving Copi
el CONTENIDO: la FORMA:
el tema, materia u objeto La estructura, las partes que
a que se refiere lo constituyen y la relación
existente entre las mismas
Estructuras lógicas
PROPOSICIONES
cantidad calidad
Universales • Afirmativas
Particulares • Negativas
o Existenciales
Propiedad
Estructura Lógica Función
Conectivas extensionales
Signos de puntuación
Lógica proposicional
Abstracción o simbolización
pq
Interpretación o sustitución
Verdadera Falsa
Falsa Verdadera
Negación
Forma proposicional:
pq
Conectiva principal
p q
Conectiva principal
(p q)
Tautológicas
Leyes lógicas
Formas proposicionales
Contradictorias
Contingentes
Consistentes
Inconsistentes
Consigna
Analiza las siguientes proposiciones, determina su
forma lógica y la clasificación según el resultado
de sus tablas de verdad.
“Si el suelo tiene humedad escasa y la carga de
humedad no es grande, esto enciende una luz
amarilla para el productor”. (p q) → r
“Adrián Paenza fue cercano al público e incitó a pensar a
las personas que colmaron el lugar, buscó romper con el
mito de que la matemática es aburrida o que la ciencia
lo es”. (p q) (r v s)
Consigna
A continuación se transcriben una serie de proposiciones, deberás analizarlas y:
- Determinar si son atómicas o moleculares.
- Luego encerrar con un círculo los términos lógicos que encuentres en cada
una de ellas.
- Formalizarlas.
Expresiones derivativas
Deductivos No Deductivos
Deductivos No Deductivos
Inductivos Analógicos
• parten de proposiciones •parten de una o más
con cierto grado de premisas con cierto grado
generalidad y concluyen de generalidad y concluyen
con una proposición de con una proposición de la
una generalidad mayor misma generalidad que las
que las premisas. premisas.
Consigna
Determine si los siguientes textos constituyen argumentos. En caso de
que así sea, identifique las premisas y la conclusión
Extraídas de Durán, Cecilia (2012)
3. ``Puesto que los problemas con los que trabajan los matemáticos, y las
soluciones a las que llegan, son impuestos por las influencias culturales que
les rodean, no es sorprendente que las matemáticas resulten aplicables a
las ciencias si hay contactos suficientes entre las dos.'' (John D. Barrow, La trama
oculta del Universo )
4. ``Una de las características más sorprendentes de la ciencia moderna es
que suele avanzar con tal rapidez que un investigador puede comprobar,
con cierta aproximación si sus ideas anteriores, o las de sus
contemporáneos, eran correctas o incorrectas. En el pasado esta
posibilidad no se daba con tanta frecuencia. Ni tampoco actualmente en
los campos que avanzan con lentitud.'' (Crick, F., Qué loco propósito)
5. ``La razón nos ordena mucho más imperiosamente que un amo, ya que
desobedeciendo a uno somos desdichados, y desobedeciendo al otro
somos tontos.'‘ (B. Pascal, Pensamientos).
11. ``A ... [la] guerra de todos contra todos va inherente esto: que nada
puede ser injusto. Las nociones de derecho y no derecho, de justicia e
injusticia, no tienen aquí lugar. Donde no hay poder común, no hay ley;
donde no hay ley, no hay injusticia.'‘ (T. Hobbes, Leviathan).
12. ``Es inútil que llame -dijo el Criado- y esto por dos razones: primero,
porque los dos estamos del mismo lado de la puerta; segundo, porque allá
dentro están haciendo tal ruido, que sería imposible que la oyeran.''(L.
Carroll, Alicia en el país de las maravillas)
Consigna
Distinga si los siguientes razonamientos son deductivos o no deductivos
Extraídas de Durán, Cecilia (2012)
1. Una ecografía del útero de una mujer embarazada a partir de los siete
meses puede confirmar en forma positiva el sexo masculino de su hijo
cuando se observan sus genitales, pero sólo con una cierta probabilidad el
sexo femenino ya que si la observación de los mismos da un resultado
negativo puede deberse tanto a su ausencia como a su indetectabilidad
desde el ángulo de visión alcanzado.
2. Cada vez que Silvina cumple años me aburro en su fiesta. Mañana estoy
invitado al cumpleaños de Silvina; así que probablemente mañana me
aburriré en su fiesta.
3. El Dr. López investigó la aparición de casos de cólera en el noroeste
argentino y descubrió que la causa era la falta de agua potable que impedía
lavar adecuadamente los alimentos y tener buenas condiciones higiénicas.
El Dr. López fue contratado por el Gobierno de la provincia de Buenos Aires
para solucionar el problema de la alta incidencia del cólera en una zona de
esa provincia. Por consiguiente es probable que el Dr. López investigue la
existencia o inexistencia de cloacas y de agua potable en ese lugar.
2.- Ordenarlo.
En este punto, podemos determinar la validez del razonamiento si
analizamos el lenguaje ordinario en el que fueron formulados.
3.- Formalizarlo.
Podemos determinar la validez del razonamiento si aplicamos alguno de
los métodos de la Lógica.
p (q r)
Ø(q r)
p
p (q r) (q r) p
Validez de los razonamientos
Método del Condicional Asociado
p (q r) (q r) P
V V V V V F F V V V V F V
F V V V V F F V V V V V F
V F F F V F V F F V V F V
F V F F V V V F F V V V F
V F V F F F V V F F V F V
F V V F F V V V F F V V F
V F F F F F V F F F V F V
F V F F F F V F F F V V F
Validez de los razonamientos
Reglas de Inferencia
Formas argumentales elementales cuya validez es fácil de establecer por
medio del método del condicional asociado
p q
p Modus Ponens (M.P.)
q
pq
Modus Tollens (M.T.)
q
p
Validez de los razonamientos
Reglas de Inferencia
p q
q r Silogismo Hipotético (S.H.)
pr
Reglas de Inferencia
p q
r s Dilema constructivo (D.C.)
pvr
qvs
p q
r s
qvs Dilema destructivo (D.D.)
pvr
Validez de los razonamientos
Reglas de Inferencia
Absorción (Abs.)
p q
p (q p)
Validez de los razonamientos
Reglas de Inferencia
¿Cómo leerlas?
¿qué diferencia existe entre letras proposicionales y letras
mayúsculas?
p q
Modus Ponens (M.P.)
p
q
A B AB
p ( q v s)
A
A p
B
B Øq v s
Validez de los razonamientos
(p • q) ≡ ( p v q)
(p v q) ≡ ( p • q) Teorema de De Morgan (T.M.)
(p • q) ≡ ( p v q)
(p v q) ≡ ( p • q) Teorema de De Morgan (T.M.)