Download - Lógica Formal - eva.fing.edu.uy
![Page 1: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/1.jpg)
Informática MédicaLógica Formal
Asignatura electiva para la carrera de medicina y afines
Clase 2: martes 16 de marzo de 2020 17:30 a 19:30
Prof. Ing. Franco Simini, Ayud. Ing. Estefanía Della Mea, Ayud. Br. Hernán Castillo, Ayud. Br. Isabel Ribeiro, Ayud. Br. Lucía Ribeiro.
Núcleo de Ingeniería Biomédica de las Facultades de Medicina e Ingenieríawww.nib.fmed.edu.uy
![Page 2: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/2.jpg)
1. Lógica
2. Razonamiento
3. Lógica Proposicional
4. Razonamiento Médico
5. Ejercicios
Temario
![Page 3: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/3.jpg)
1. Lógica
![Page 4: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/4.jpg)
● Disciplina de la filosofía
● Estudia principios y métodos de deducción
● Distingue el razonamiento correcto del incorrecto
Lógica
![Page 5: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/5.jpg)
● Consiste en reglas formales.
● Estructura el razonamiento.
● Relaciona “juicios” siguiendo las reglas.
Lógica formal
![Page 6: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/6.jpg)
● Ayuda a elaborar pensamientos complejos.
● Ayuda a validar estructuras de pensamiento.
● Ayuda a pensar con:
■ claridad
■ orden
■ profundidad
■ coherencia.
Aplicaciones de la lógica
![Page 7: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/7.jpg)
● Integra métodos para demostrar la validez.
● Ordena el pensamiento de la investigación
científica.
Aplicaciones de la lógica
Un ejemplo de implementación es el método científico.
![Page 8: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/8.jpg)
Etapas del método científico que postula y
verifica hipótesisMétodo científico
Leyes y teorías
Planteo del problema
Formulación de hipótesis
Experimentación para comprobar hipótesis
sino
Hipótesis comprobadas?
Aumenta el conocimiento
![Page 9: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/9.jpg)
○ Ejemplos de la vida cotidiana:
● Si llueve, no se me seca la ropa P → Q● Tengo fiebre, debo estar enfermo P → Q
● No tengo hambre, no voy a cenar ¬P → ¬Q● No estoy inscripto, no rendiré el examen ¬P → ¬Q
Razonamientos simples
![Page 10: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/10.jpg)
2. Razonamiento
![Page 11: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/11.jpg)
● Proceso mental
● Encadena enunciados (PREMISAS, CONCLUSIÓN).
Un razonamiento es formalmente válido, es decir,
posee una estructura lógica correcta, cuando existe una
conexión entre sus afirmaciones tal que la
conclusión se deduce necesariamente de las
premisas.
Razonamiento
![Page 12: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/12.jpg)
Condiciones
Condición necesaria: expresa el consecuente implica el antecedente.
La presencia de oxígeno (A) es requisito necesario para la vida (C).
Condición suficiente: expresa el antecedente implica el consecuente.
La lluvia (A) es es condición suficiente para que mi patio esté mojado (C).
![Page 13: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/13.jpg)
Condición necesaria y suficiente: es una equivalencia entre antecedente y consecuente.
La ausencia prolongada de pulso (A) es condición necesaria y suficiente de muerte clínica (C).
Condiciones
![Page 14: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/14.jpg)
● Premisas● …● _______________ - operadores o relacionantes-
● Conclusión
Premisa: expresión que puede ser verdadera o falsa.
Las premisas y la conclusión pueden ser verdaderas o falsas, en cambio los razonamientos pueden ser correctos o incorrectos (válido / inválido).
Estructura de razonamiento
![Page 15: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/15.jpg)
● La verdad es una propiedad de los enunciados (premisas).Un enunciado será verdadero o falso si lo que afirma ocurre o no en la realidad.
● La validez es una propiedad de los razonamientos.
Los razonamientos son válidos si la conclusión se deduce necesariamente de las premisas y no porque los enunciados que lo integren sean verdaderos.
Verdad ≠ Validez
![Page 16: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/16.jpg)
VERDAD
Ser verdadero (o falso) se refiere a:
Enunciados que expresen fielmente (o no) la... Realidad
VALIDEZ (O CORRECCIÓN)
Ser válido o no (correcto o incorrecto) se refiere a:Razonamientos entre los cuales Existe un encadenamiento
adecuado y necesario
Verdad ≠ Validez
Tomado de Fernández-Viejo, S. (n.d.). Lógica. Filosofía - 1ro Bachillerato.
![Page 17: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/17.jpg)
Enunciado: “Soy uruguayo”
Es una proposición que resulta falsa para todas las
personas que no sean uruguayas, pero verdadera
para todas las personas que si lo sean.
Ejemplo de premisa o enunciado
![Page 18: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/18.jpg)
Los perros (A) son reptiles (B) Este razonamiento esPremisas válido formalmente,
Los reptiles (B) son invertebrados (C) aunque sus premisas y su conclusión sean
Conclusión Los perros (A) son invertebrados (C) falsas.
Pues si prescindimos de su contenido y tenemos sólo en cuenta la forma en que están conectadas sus afirmaciones, comprobamos que la conclusión se deduce necesariamente de las premisas.
A es B
B es CA es C
.
Ejemplo de razonamiento válidosobre premisas falsas
Tomado de Fernández-Viejo, S. (n.d.). Lógica. Filosofía
- 1ro Bachillerato
![Page 19: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/19.jpg)
3. Lógica Proposicional
![Page 20: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/20.jpg)
● Estudia la validez formal de los razonamientos
● Considera en bloque las proposiciones que los forman
● No realiza análisis de las proposiciones
Lógica proposicional
![Page 21: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/21.jpg)
● Proposición atómica: completa e indivisible, en su
expresión no incluye ningún conectivo lógico, no
une dos o más enunciados
● Puede ser verdadera o falsa.
Ejemplos: “Hoy es miércoles”, “Lucía tiene frío”.
Proposiciones
![Page 22: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/22.jpg)
Proposición molecular: compuesta de varias atómicas,
por lo tanto consta de dos o más enunciados.
● Ejemplo: “Si llueve, entonces la calle está mojada”
Proposiciones
![Page 23: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/23.jpg)
● Variable proposicional: representa una proposición atómica con letras minúsculas p, q, r, s,...
● Símbolos auxiliares: paréntesis, corchetes y llaves para agrupar ordenadamente las proposiciones ( ), [ ], { },...
● Conectivas: signos lógicos que sirven para unir las proposiciones o variables entre sí: AND, OR, NOT.
Nomenclatura de la lógica proposicional
![Page 24: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/24.jpg)
En la lógica proposicional se distinguen dos valores: Verdadero / Falso.
p cualquier proposición
1 verdadera
0 falsa
➔ Recordar código binario
Valor de verdad
![Page 25: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/25.jpg)
1) Leer con detenimiento el enunciado o protocolo a
estudiar
2) Identificar las premisas contenidas
3) Estudiar los vínculos entre premisas e identificar las
conectivas a utilizar
4) Analizar si existen factores en la fórmula que deban ser
ordenados mediante paréntesis
5) Escribir la fórmula lógica resultante
Pasos para escribir una fórmula lógica
![Page 26: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/26.jpg)
Se usan los valores (1,0): 1 para verdadero y 0 para falso:
Si es una proposición molecular de dos variables las
combinaciones de sus valores de “verdad” son 4:
Variable asociada a un enunciado
p01
p q0 00 11 01 1
![Page 27: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/27.jpg)
Negador, NOT, “no”, ¬
El negador: conectiva que al aplicarse a una proposición
(simple o compleja), la convierte en falsa si es verdadera,
y en verdadera si es falsa.
Ejemplo sobre salvar un examen:
“Salvé el examen” = p
“NO salvé el examen” = ¬p
Conectiva NOT
p ¬p0 11 0
![Page 28: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/28.jpg)
Conjunción, AND , “y”, ∧
El conjuntor: conectiva que sólo es verdadera si las dos
proposiciones que une son ambas verdaderas, y es
falsa en los demás casos.
Ej: “Salvé el examen y ni siquiera estudie” = p Λ ¬q
“Salvé el examen” = p
“ni siquiera estudie” = ¬q
Conectiva AND
p q pΛq0 0 00 1 01 0 01 1 1
![Page 29: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/29.jpg)
Disyunción, OR, “o”, ∨
El disyuntor: conectiva que sólo es falsa si las dos
proposiciones que une son ambas falsas, y verdadera
en los demás casos.Ej: “O bien madrugas o no llegaras temprano
a clase” = p v ¬q
“O bien madrugas” = p
“No llegaras temprano a clase” = ¬q
Conectiva OR
p q pvq0 0 00 1 11 0 11 1 1
![Page 30: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/30.jpg)
Condicional, “ Si...entonces...”, →
El condicional: conectiva que sólo es falsa cuando, siendo el antecedente verdadero, el consecuente sea falso. Es verdadera en los demás casos.
Ej: “No por mucho madrugar entonces amanece más temprano” = ¬p → q “No por mucho madrugar” = ¬p“Amanece mas temprano” = q
Conectiva Implica
p q p→q0 0 10 1 11 0 01 1 1
![Page 31: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/31.jpg)
Bicondicional, “si y solo si”, ↔
El bicondicional: conectiva que sólo es verdadera si las
dos proposiciones unidas por ella tienen ambas el
mismo valor de verdad, es decir, son ambas verdaderas o
falsas a la vez.
Ej: “Solo en caso que tengas frío no abrirás
la ventana” = p ↔ ¬q
“Solo en caso que tengas frío” = p
“no abrirás la ventana” = ¬q
Conectiva Bicondicional
p q p↔q0 0 10 1 01 0 01 1 1
![Page 32: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/32.jpg)
La verdad o falsedad de una proposición atómica depende de la información fáctica que esta proporciona.
La verdad o falsedad de una proposición molecular depende del valor de verdad de las proposiciones simples que la componen y de las conectivas que la constituyen.
Condiciones de verdad
![Page 33: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/33.jpg)
Tabla que muestra el valor de verdad de una proposición compuesta (P), para cada combinación de valores de verdad que se pueda asignar a sus componentes (proposiciones, enunciados atómicos, p1, p2,…, pn).
Para cada una de las variables, se asignan los valores 1 y 0 a las proposiciones simples que componen la fórmula, combinando de todos los modos posibles tales valores. Luego se obtiene los valores resultantes.
Tabla de verdad
![Page 34: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/34.jpg)
Proceso de creación:
1) Determinar cada una de las variables que componen
la fórmula lógica
2) Determinar el número de filas.
3) Determinar las expresiones que formarán cada
columna.
4) Agregar la distribución de 0 y 1.
Ej: [ (p → q) v ¬q ]
Tabla de verdad
![Page 35: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/35.jpg)
Posibles resultados de la Tabla
Existen 3 posibilidades en el resultado de la tabla de
verdad:
● Que sólo tenga unos.
● Que sólo tenga ceros.
● Que tenga unos y ceros.
![Page 36: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/36.jpg)
Posibles resultados de la Tabla
● TAUTOLOGÍA (sólo unos): Es una fórmula siempre válida, sean cuales sean los valores de verdad de las proposiciones que la integran.
● CONTRADICCIÓN (solo ceros): Es una fórmula no válida nunca, sean cuales sean los valores de verdad de las proposiciones que la integran.
● INDETERMINACIÓN O CONTINGENCIA (ceros y unos): Es una fórmula que puede ser válida o no, en función de los valores de verdad de las proposiciones que la integran.
![Page 37: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/37.jpg)
Formalización del Razonamiento
Formalizar una expresión del lenguaje natural consiste
en destacar la «forma» en que se relacionan las
proposiciones de esa expresión, prescindiendo del
contenido o significado de éstas.
Dicho de otro modo: consiste en “traducir” al lenguaje
artificial de la lógica las expresiones del lenguaje natural.
![Page 38: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/38.jpg)
4. Razonamiento Médico
![Page 39: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/39.jpg)
¿Cómo se aplica la lógica al razonamiento médico?
● Un razonamiento claro y ordenado es clave para la
investigación.
● La posibilidad de analizar la información de forma
estructurada ayuda a llegar a mejores conclusiones
y estudiar su validez de forma objetiva.
![Page 40: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/40.jpg)
4.1. Acute myocardial infarctionAccording to AMI management guidelines of the European Society of Cardiology (ESC) published in 2013 [2], a diagnosis is based on elevated levels of at least one cardiac biomarker above percentile 99 (especially troponin), plus at least one of the following criteria: symptoms of cardiac ischemia, electrocardiographic (EKG) abnormalities (ST segment elevation or pathological Q waves) and imaging abnormalities (echocardiogram or angiography).
“Use of formal logic and flowcharts in medical diagnosis situations to verify its validityand inclusion in clinical decision support systems” M.Sosa, L. Grundel, F. Simini.
● Ejemplo de aplicación de lógica proposicional a un diagnóstico médico.
![Page 41: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/41.jpg)
Definición de variables:Las premisas contenidas en el texto son:
● p: increase of cardiac biomarkers (troponin)● q: symptoms of myocardial ischemia● r: electrocardiographic abnormalities● s: alterations observed in echocardiogram or angiography● t: acute myocardial infarction diagnosis
Formulación lógica:La fórmula resultante de la relación entre las variables identificadas es:
[p Λ (q v r v s)] → t
● Ejemplo de aplicación de lógica proposicional a un diagnóstico médico.
![Page 42: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/42.jpg)
“You are a Physician on call at the emergency room, and you see a patient complaining of a strong precordial pain. When performing an EKG you discover an elevated ST segment in some of the derivations. When the laboratory results arrive you confirm that troponin levels are very high. You therefore diagnose acute myocardial infarction”
“Use of formal logic and flowcharts in medical diagnosis situations to verify its validityand inclusion in clinical decision support systems” M.Sosa, L. Grundel, F. Simini.
La fórmula lógica en este caso es:● {{[p Λ (q v r v s)] → t} Λ (q Λ r Λ p)} → t
● Ejemplo de aplicación de lógica proposicional a un diagnóstico médico.
![Page 43: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/43.jpg)
5. Ejercicios
![Page 44: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/44.jpg)
Ejercicio 1:
Sean las proposiciones:
p : Está lloviendo. // q : Iré a la ciudad. // r : Tengo tiempo.
Escribir, usando conectivos lógicos, una fórmula que simbolice cada una de las afirmaciones siguientes:
a) No está lloviendo.
b) Si no está lloviendo y tengo tiempo, entonces iré a la ciudad.
c) Iré a la ciudad sólo si tengo tiempo.
d) Está lloviendo, y no iré a la ciudad.
![Page 45: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/45.jpg)
Solución Ejercicio 1:
a) ¬ pb) (¬p Λ r) → qc) q ↔ rd) p Λ ¬q
![Page 46: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/46.jpg)
Ejercicio 2:
Pasar el siguiente enunciado a una fórmula lógica y luego analice la tabla de verdad correspondiente. La conclusión obtenida, ¿es válida?
“Si Juan se casa, Ana se deprimirá.
Ana se deprimirá siempre y cuando Juan no se haga cura.
Por lo tanto, si Juan se casa, entonces no se hace cura”.
![Page 47: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/47.jpg)
NOT AND OR IMPLICA BICONDICIONAL
Resumen
p q ¬p ¬q pΛq pvq p→q p↔q
0 0 1 1 0 0 1 10 1 1 0 0 1 1 01 0 0 1 0 1 0 01 1 0 0 1 1 1 1
![Page 48: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/48.jpg)
Solución Ejercicio 2:
[(p→q) ˄ (q↔¬r)] → (p→¬r)
![Page 49: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/49.jpg)
Solución Ejercicio 2:
[(p→q) ˄ (q↔¬r)] → (p→¬r)
Es tautología. El razonamiento es válido.
![Page 50: Lógica Formal - eva.fing.edu.uy](https://reader030.vdocuments.site/reader030/viewer/2022012409/616a530311a7b741a35141bf/html5/thumbnails/50.jpg)
¡Gracias!