Introduccin a la logica
-
Upload
colegio-agropecuario-de-san-carlos -
Category
Documents
-
view
2.202 -
download
1
Transcript of Introduccin a la logica
![Page 1: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/1.jpg)
LÓGICALÓGICA
![Page 2: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/2.jpg)
IMPORTANCIA DE LA LÓGICAIMPORTANCIA DE LA LÓGICA
Desarrolla habilidades para elaborar y expresar ideas de manera coherente, precisa y pertinente.
Incrementa la capacidad de definir conceptos, ideas, escenarios ideológicos…
Fortalece la capacidad para construir argumentos en forma correcta
Aumenta la capacidad de análisis crítico en todos los aspectos de las relaciones humanas
![Page 3: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/3.jpg)
DEFINICIONES DE LÓGICADEFINICIONES DE LÓGICA
Estudio de las leyes del pensamiento Ciencia del razonamiento Arte del correcto razonar Estudio de los métodos y principios que se
usan para distinguir el razonamiento correcto del incorrecto
![Page 4: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/4.jpg)
¿QUÉ NO ES LA LÓGICA?¿QUÉ NO ES LA LÓGICA?
No es la ciencia del pensamiento, ello le corresponde a la psicología.
No es la ciencia del razonamiento, este es sólo una forma especial de pensamiento
No es la ciencia de los fenómenos físicos o naturales, pues las proposiciones que estudia la lógica pertenecen a todos los campos del conocimiento (la lógica puede aplicarse a fenómenos no existentes, y la implicación lógica aparece en las ciencias físicas aunque no es su objetivo fundamental).
No es la ciencia de las palabras o símbolos, ello le corresponde a la lingüística (aunque la lógica está íntimamente vinculada a la gramática general).
![Page 5: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/5.jpg)
¿QUÉ ES LA LÓGICA?¿QUÉ ES LA LÓGICA?
Es el estudio de los razonamientos◦Sin tomar en cuenta su contenido◦ Le interesa la corrección del proceso de razonamiento una vez finalizado
◦Le interesa, particularmente, si las conclusiones se derivan de las premisas afirmadas, en cuyo caso el razonamiento es correcto
![Page 6: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/6.jpg)
TÉRMINOS CLAVES DE LA TÉRMINOS CLAVES DE LA LÓGICALÓGICA
Proposición
Premisa
Conclusión
Inferencia
Implicación
![Page 7: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/7.jpg)
PROPOSICIÓNPROPOSICIÓN
Es el significado de una oración declarativa o descriptiva, por lo tanto siempre pueden ser verdaderas o falsas.
Si diferentes oraciones tienen el mismo significado, expresan la misma proposición.
Es asimismo posible que una misma oración exprese proposiciones distintas.
![Page 8: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/8.jpg)
ESTRUCTURA DE LOS ESTRUCTURA DE LOS RAZONAMIENTOSRAZONAMIENTOS
Conclusión: es la proposición que se afirma sobre la base de otras proposiciones.
Premisas: son las proposiciones que brindan los elementos de juicio o las razones para aceptar la conclusión.
![Page 9: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/9.jpg)
INFERENCIAINFERENCIA
“Es el proceso por el cual se llega a una proposición y se la afirma sobre la base de otra u otras proposiciones aceptadas como punto de partida”
Inferencia inmediata: extraer conclusiones de una sola premisa (p. ej. Cuadro de oposición).
Inferencia mediata: extraer conclusiones de dos o más premisas (p. ej.: silogismo).
No es la inferencia lo que le interesa a la lógica, sino la relación existente entre las proposiciones.
![Page 10: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/10.jpg)
IMPLICACIÓNIMPLICACIÓN
Es una relación objetiva entre proposiciones.
En los razonamientos válidos, la conclusión está implicada en la premisa.
![Page 11: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/11.jpg)
FALACIAFALACIA
Forma de razonamiento que parece correcta, pero resulta no serlo cuando se la analiza cuidadosamente.
La palabra se reserva para aquellos razonamientos incorrectos que son psicológicamente persuasivos.
![Page 12: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/12.jpg)
VERDAD Y VALIDEZVERDAD Y VALIDEZ
La verdad se refiere al contenido de las proposiciones, nunca a los razonamientos. Determinar la verdad o falsedad de las proposiciones es tarea de la ciencia.
La validez se refiere los razonamientos deductivos, nunca a las proposiciones. Determinar la validez o invalidez de las proposiciones es tarea de la lógica.
![Page 13: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/13.jpg)
PRINCIPIOS DE LA LÓGICA PRINCIPIOS DE LA LÓGICA FORMALFORMAL
Identidad: Se verifica cuando en una proposición verdadera el concepto contenido en el predicado es total o parcialmente idéntico al concepto contenido en el sujeto: “el triángulo tiene tres lados”.
No Contradicción: Se enuncia expresando que dos proposiciones contradictorias no pueden ser ambas verdaderas; o que toda contradicción encierra una falsedad: Si es verdad que “el triángulo tiene tres lados”, no puede ser verdad que “el triángulo no tiene tres lados”.
Tercero Excluido: Una proposición solamente puede tener valor de verdadera o de falsa; y por lo tanto, entre la verdad o la falsedad, no existe una tercera posibilidad.
![Page 14: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/14.jpg)
LÓGICA COMPUTACIONALLÓGICA COMPUTACIONAL
Proposición◦ Expresión de la que tiene sentido decir si es verdadera o falsa.
Ejemplos◦ 1 + 4 = 5 (Verdad)◦ La Pampa es una nación. (Falso)◦ 8 + 23 (no es proposición)◦ María (ídem anterior)
14
![Page 15: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/15.jpg)
PROPOSICIÓN ATÓMICAPROPOSICIÓN ATÓMICA
Una proposición es atómica si no puede ser descompuesta en proposiciones más simples.
Las proposiciones atómicas son indicadas de manera afirmativa.
Ejemplos:◦ La casa es grande. (es atómica)◦ La casa no es grande. ( no es atómica)◦ Hoy es viernes y tenemos clase. (no es atómica)
15
![Page 16: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/16.jpg)
PROPOSICIÓN MOLECULARPROPOSICIÓN MOLECULAR
Una proposición es molecular si no es atómica, es decir, si puede ser descompuesta en proposiciones más simples.
Una proposición molecular se forma al unir proposiciones atómicas utilizando conectivos lógicos o términos de enlace.
16
![Page 17: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/17.jpg)
CONECTIVOS LÓGICOSCONECTIVOS LÓGICOS17
Conectivo Simbolización
y ^
o v
no (sobre la proposición)
![Page 18: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/18.jpg)
PROPOSICIONES MOLECULARESPROPOSICIONES MOLECULARES
Ejemplos◦ Vamos en bicicleta o vamos a pie.◦ No es cierto que Juan llegó temprano◦ Juan no llegó temprano◦ Luis es arquitecto y Martín es médico.◦ La medalla no es de plata y el diploma parece falso.
◦ Matías aprobó pero Lucas no.
18
![Page 19: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/19.jpg)
SIMBOLIZACIÓNSIMBOLIZACIÓN
Se utilizarán letras minúsculas para simbolizar las proposiciones atómicas.
Ejemplo:◦ El Sr.Domínguez es el gerente.Si se considera
p = “El Sr.Domínguez es el gerente”esta proposición puede ser simbolizada como p.
19
![Page 20: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/20.jpg)
SIMBOLIZACIÓNSIMBOLIZACIÓN
Para simbolizar un proposición◦ Identificar las proposiciones atómicas◦ Simbolizar las proposiciones atómicas encontradas.
◦ Utilizar los conectivos lógicos para relacionarlas.
20
![Page 21: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/21.jpg)
SIMBOLIZACIÓNSIMBOLIZACIÓN
Ejemplos◦ Vamos en bicicleta o vamos a pie.
p : “Vamos en bicicleta”.q : “Vamos a pie”Simbolización: p v q
◦ No es cierto que Juan llegó tempranop = “Juan llegó temprano”.Simbolización : p
21
![Page 22: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/22.jpg)
SIMBOLIZACIÓNSIMBOLIZACIÓN
Ejemplo◦ La medalla no es de plata y el diploma parece falso.p : “La medalla es de plata”.q : “El diploma parece falso”
Simbolización: p ^ q
22
![Page 23: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/23.jpg)
SIMBOLIZACIÓNSIMBOLIZACIÓN
Ejemplo◦ Matías aprobó el examen pero Lucas no.
r = “Matías aprobó el examen”.s = “Lucas aprobó el examen”
Simbolización : r ^ s
23
![Page 24: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/24.jpg)
TABLA DE VERDADTABLA DE VERDAD
La tabla de verdad de una proposición molecular muestra todas las posibles combinaciones de valores de verdad de las proposiciones atómicas que la componen.
24
![Page 25: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/25.jpg)
NEGACIÓNNEGACIÓN
Indique el valor de verdad de:◦ El número 9 no es divisible por 3.◦ No es cierto que los perros vuelan.
25
p p
V F
F V
![Page 26: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/26.jpg)
CONJUNCIÓNCONJUNCIÓN
Indique el valor de verdad de :◦ 6 es un número par y divisible por 3.◦ ( 2 + 5 = 7 ) y ( 2 * 3 = 9 )
26
p q p ^ q
V V V
V F F
F V F
F F F
![Page 27: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/27.jpg)
DISYUNCIÓNDISYUNCIÓN
Indique el valor de verdad de :◦ 2 es primo o es impar.◦ (2 + 3 = 4 ) o (2 * 2 = 5)
27
p q p v q
V V V
V F V
F V V
F F F
![Page 28: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/28.jpg)
CONSTRUCCIÓN DE TABLAS DE CONSTRUCCIÓN DE TABLAS DE VERDADVERDAD
¿Cuántas filas tiene la tabla?◦ 1 proposición 2 valores (V o F)◦ 2 proposiciones 4 valores de verdad◦ 3 proposiciones 8 valores de verdad◦ .........◦ n proposiciones 2n valores de verdad.
28
![Page 29: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/29.jpg)
PROPOSICIONES MOLECULARESPROPOSICIONES MOLECULARES
Según su valor de verdad pueden ser◦Tautología◦Contradicción◦Contingencia
29
![Page 30: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/30.jpg)
TAUTOLOGÍATAUTOLOGÍA
Una proposición molecular es una tautología si es cierta, cualesquiera sean los valores de verdad de las proposiciones atómicas que la componen.
Ejemplo: p v p
30
![Page 31: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/31.jpg)
CONTRADICCIÓNCONTRADICCIÓN
Una proposición molecular es una contradicción si es falsa, cualesquiera sean los valores de verdad de las proposiciones atómicas que la componen.
Ejemplo: p ^ p
31
![Page 32: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/32.jpg)
CONTINGENCIACONTINGENCIA
Se dice que una proposición molecular es una contingencia si al construir la tabla de verdad el resultado final que se obtiene, es una combinación valores de verdad verdaderos y falsos.
Ejemplo: p ^ q
32
![Page 33: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/33.jpg)
EJEMPLO: EJEMPLO:
p q p v q p v q
V V V F
V F V F
F V V F
F F F V
p q p q∨ ≡ ∧
p q p q p ^ q
V V F F F
V F F V F
F V V F F
F F V V V33
![Page 34: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/34.jpg)
LEYES DE DE MORGANLEYES DE DE MORGAN
La negación de una disyunción es equivalente a la conjunción de las negaciones de las proposiciones involucradas.
(p v q) ≡ ( p ^ q )
La negación de una conjunción es equivalente a la disyunción de las negaciones de las proposiciones involucradas.
(p ^ q) ≡ ( p v q)
34
![Page 35: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/35.jpg)
PROPOSICIÓN CONDICIONALPROPOSICIÓN CONDICIONAL
Dadas dos proposiciones p y q, la proposición "si p entonces q" se llama proposición condicional y se escribe
p → q
donde p es llamada antecedente o hipótesis, y q consecuente o tesis.
35
![Page 36: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/36.jpg)
PROPOSICIÓN CONDICIONALPROPOSICIÓN CONDICIONAL
Ejemplo: Si resolvemos la tarea entonces
aprenderemos la lección
p = "resolvemos la tarea"
q = "aprenderemos la lección"
Simbolizando: p → q
36
![Page 37: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/37.jpg)
PROPOSICIÓN CONDICIONALPROPOSICIÓN CONDICIONAL
Ejemplo: Si vamos a la fiesta entonces no nos
acostaremos temprano
p = "vamos a la fiesta"
q = "nos acostaremos temprano"
Simbolizando: p → q
37
![Page 38: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/38.jpg)
TABLA DE VERDAD DEL TABLA DE VERDAD DEL CONDICIONALCONDICIONAL
p q p q
V V V
F V V
V F F
F F V
38
La implicación de p a q es falsa únicamente en el caso de que el antecedente p sea verdadero y que el consecuente q sea falso
![Page 39: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/39.jpg)
PROPOSICIÓN CONDICIONAL PROPOSICIÓN CONDICIONAL
Existen distintas formas de leer un condicional:◦ “Si p entonces q”. ◦ “q es una condición necesaria para p” ◦ “p es una condición suficiente para q”.
39
![Page 40: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/40.jpg)
DISTINTAS FORMAS DE DISTINTAS FORMAS DE INDICAR UNA PROPOSICIÓN INDICAR UNA PROPOSICIÓN CONDICIONALCONDICIONAL
Ejemplo:p : El entero x es múltiplo de 4 q : El entero x es par
◦ Si el entero x es múltiplo de 4, entonces es par
◦ Que el entero x sea múltiplo de 4 es suficiente para que sea par
◦ Que el entero x sea par es necesario para que sea múltiplo de 4.
40
![Page 41: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/41.jpg)
PROPOSICIÓN BICONDICIONALPROPOSICIÓN BICONDICIONAL
Observando la tabla notamos que el bicondicional distingue si ambas proposiciones tienen el mismo valor de verdad, o valores de verdad distintos.
p q p ↔ q
V V V
V F F
F V F
F F V
41
![Page 42: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/42.jpg)
p p ↔↔ q q ≡≡ (p (p →→ q) ^ (q q) ^ (q →→ p) p)
p q p → q q → p (p → q) ^ (q → p)
V V V V V
V F F V F
F V V F F
F F V V V
42
![Page 43: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/43.jpg)
RAZONAMIENTORAZONAMIENTO
A partir de un conjunto de proposiciones tomadas como base de argumentación se deduce una conclusión.
43
![Page 44: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/44.jpg)
TABLA DE VERDAD DE ( (p TABLA DE VERDAD DE ( (p →→q) ^ q) ^ p ) p ) →→ q q
p q p →q (p →q) ^ p ( (p →q) ^ p ) → q
V V V V V
V F F F V
F V V F V
F F V F V
44
La tabla indica que el razonamiento es correcto independientemente de las proposiciones utilizadas
![Page 45: Introduccin a la logica](https://reader034.fdocuments.co/reader034/viewer/2022052316/5595d2e61a28ab062c8b46c1/html5/thumbnails/45.jpg)
FORMA GENERAL DE FORMA GENERAL DE RAZONAMIENTORAZONAMIENTO
El razonamiento será válido si la expresión anterior es una tautología
45
( )1 2 ... kp p p c∧ ∧ ∧ ⇒