![Page 1: Refelxiones con Respecto a la Lógica - UAM Azcapotzalcokali.azc.uam.mx/clc/03_docencia/licenciatura/log_simb/Ra_LoSim_Que... · expresiones declarativas, imperativas, interrogativas](https://reader033.vdocuments.site/reader033/viewer/2022052921/5c0267ee09d3f279018e1157/html5/thumbnails/1.jpg)
Refelxiones con Respecto a la Lógica
Ana Lilia LAUREANO-CRUCES
![Page 2: Refelxiones con Respecto a la Lógica - UAM Azcapotzalcokali.azc.uam.mx/clc/03_docencia/licenciatura/log_simb/Ra_LoSim_Que... · expresiones declarativas, imperativas, interrogativas](https://reader033.vdocuments.site/reader033/viewer/2022052921/5c0267ee09d3f279018e1157/html5/thumbnails/2.jpg)
Qué es la lógica
es el estudio de métodos y principios usados para distinguir el buen (correcto) razonamiento del malo (incorrecto).
no debe interpretarse esta definición en el sentido de que solo el estudioso de la lógica puede razonar bien o correctamente.
![Page 3: Refelxiones con Respecto a la Lógica - UAM Azcapotzalcokali.azc.uam.mx/clc/03_docencia/licenciatura/log_simb/Ra_LoSim_Que... · expresiones declarativas, imperativas, interrogativas](https://reader033.vdocuments.site/reader033/viewer/2022052921/5c0267ee09d3f279018e1157/html5/thumbnails/3.jpg)
pretender esto…
sería como sostener que solo los que estudian física y fisiología pueden correr y esta no es verdad ya que los atletas no conocen de estos procesos y son excelentes ejecutando estas actividades
![Page 4: Refelxiones con Respecto a la Lógica - UAM Azcapotzalcokali.azc.uam.mx/clc/03_docencia/licenciatura/log_simb/Ra_LoSim_Que... · expresiones declarativas, imperativas, interrogativas](https://reader033.vdocuments.site/reader033/viewer/2022052921/5c0267ee09d3f279018e1157/html5/thumbnails/4.jpg)
A la lógica formal se le conoce como lógica simbólica o lógica simbólica.
Así que la lógica es una ciencia y su objeto de estudio lo constituyen las formas, estructuras o esquemas del pensamiento.
![Page 5: Refelxiones con Respecto a la Lógica - UAM Azcapotzalcokali.azc.uam.mx/clc/03_docencia/licenciatura/log_simb/Ra_LoSim_Que... · expresiones declarativas, imperativas, interrogativas](https://reader033.vdocuments.site/reader033/viewer/2022052921/5c0267ee09d3f279018e1157/html5/thumbnails/5.jpg)
contenido variable vs estructuras comunes
1. 7 es un número primo y 4 es par.
2. la gasolina es inflamable y la potasa es cáustica.
3. Venus es un planeta y Sirio es una estrella.
4. marzo tiene 30 días o marzo tiene 31 días.
5. el hombre hace su historia o la historia hace al hombre.
6. 4 es impar o 4 es par.
7. si el hombre hace su historia, entonces el destino es un mito.
8. si 4 es par, entonces 4n también es par.
9. si el tabaco produce cáncer, entonces los cigarros son un medio de suicidio.
![Page 6: Refelxiones con Respecto a la Lógica - UAM Azcapotzalcokali.azc.uam.mx/clc/03_docencia/licenciatura/log_simb/Ra_LoSim_Que... · expresiones declarativas, imperativas, interrogativas](https://reader033.vdocuments.site/reader033/viewer/2022052921/5c0267ee09d3f279018e1157/html5/thumbnails/6.jpg)
conectores para relacionar los pensamientos
y
o
si … entonces
![Page 7: Refelxiones con Respecto a la Lógica - UAM Azcapotzalcokali.azc.uam.mx/clc/03_docencia/licenciatura/log_simb/Ra_LoSim_Que... · expresiones declarativas, imperativas, interrogativas](https://reader033.vdocuments.site/reader033/viewer/2022052921/5c0267ee09d3f279018e1157/html5/thumbnails/7.jpg)
Logica Proposicional
es la parte de la lógica que estudia las formas en que se relacionan unas proposiciones con otras y, sobre todo, la relación que se da entre las proposiciones que componen un razonamiento.
![Page 8: Refelxiones con Respecto a la Lógica - UAM Azcapotzalcokali.azc.uam.mx/clc/03_docencia/licenciatura/log_simb/Ra_LoSim_Que... · expresiones declarativas, imperativas, interrogativas](https://reader033.vdocuments.site/reader033/viewer/2022052921/5c0267ee09d3f279018e1157/html5/thumbnails/8.jpg)
Lenguaje: Natural vs Simbólico
es un instrumento por el que se trasmite información.
no todos los lenguajes son hechos por el hombre.
el lenguaje de las abejas
el lenguaje de las células
![Page 9: Refelxiones con Respecto a la Lógica - UAM Azcapotzalcokali.azc.uam.mx/clc/03_docencia/licenciatura/log_simb/Ra_LoSim_Que... · expresiones declarativas, imperativas, interrogativas](https://reader033.vdocuments.site/reader033/viewer/2022052921/5c0267ee09d3f279018e1157/html5/thumbnails/9.jpg)
lenguajes hechos por el hombre
La información se trasmite por medio de signos:
señas
gritos
palabras
combinación de colores
volutas de humo
![Page 10: Refelxiones con Respecto a la Lógica - UAM Azcapotzalcokali.azc.uam.mx/clc/03_docencia/licenciatura/log_simb/Ra_LoSim_Que... · expresiones declarativas, imperativas, interrogativas](https://reader033.vdocuments.site/reader033/viewer/2022052921/5c0267ee09d3f279018e1157/html5/thumbnails/10.jpg)
Sistemas de signosrepresentan algo de forma individual o combinándolos.
el lenguaje natural contiene imprecisiones, confusiones y errores.
en un lenguaje científico es preciso evitarlas.
de aquí que en las ciencias nos encontremos con lenguaje preciso y lleno de símbolos elegidos de forma cuidadosa y conscientemente.
![Page 11: Refelxiones con Respecto a la Lógica - UAM Azcapotzalcokali.azc.uam.mx/clc/03_docencia/licenciatura/log_simb/Ra_LoSim_Que... · expresiones declarativas, imperativas, interrogativas](https://reader033.vdocuments.site/reader033/viewer/2022052921/5c0267ee09d3f279018e1157/html5/thumbnails/11.jpg)
Lenguajes científicosContamos con tantos como ciencias particulares:
matemáticas
química
logica
programación
![Page 12: Refelxiones con Respecto a la Lógica - UAM Azcapotzalcokali.azc.uam.mx/clc/03_docencia/licenciatura/log_simb/Ra_LoSim_Que... · expresiones declarativas, imperativas, interrogativas](https://reader033.vdocuments.site/reader033/viewer/2022052921/5c0267ee09d3f279018e1157/html5/thumbnails/12.jpg)
Qué implica la simbolización
sencillez
claridad
exactitud
![Page 13: Refelxiones con Respecto a la Lógica - UAM Azcapotzalcokali.azc.uam.mx/clc/03_docencia/licenciatura/log_simb/Ra_LoSim_Que... · expresiones declarativas, imperativas, interrogativas](https://reader033.vdocuments.site/reader033/viewer/2022052921/5c0267ee09d3f279018e1157/html5/thumbnails/13.jpg)
Logica proposicionales libre del contenido; se examinan las proposiciones y sus posibles relaciones
y, o, si … entonces
se busca saber si un razonamiento es correcto o incorrecto.
si en la luna hay vida, entonces en la luna hay agua.
no ocurre que en la luna hay vida
luego entonces, no es cierto que en la luna hay agua
![Page 14: Refelxiones con Respecto a la Lógica - UAM Azcapotzalcokali.azc.uam.mx/clc/03_docencia/licenciatura/log_simb/Ra_LoSim_Que... · expresiones declarativas, imperativas, interrogativas](https://reader033.vdocuments.site/reader033/viewer/2022052921/5c0267ee09d3f279018e1157/html5/thumbnails/14.jpg)
Proposicioneslas proposiciones son pensamientos en los que se afirma algo por medio de expresiones declarativas, imperativas, interrogativas y exclamativas.
una expresión declarativa es una preposición afirmativa que puede ser verdadera o falsa.
![Page 15: Refelxiones con Respecto a la Lógica - UAM Azcapotzalcokali.azc.uam.mx/clc/03_docencia/licenciatura/log_simb/Ra_LoSim_Que... · expresiones declarativas, imperativas, interrogativas](https://reader033.vdocuments.site/reader033/viewer/2022052921/5c0267ee09d3f279018e1157/html5/thumbnails/15.jpg)
ejemplo1. el ácido sulfúrico corroe la madera.
2. 2 mas 2, es igual a 3.
3. 1974 fue un año bisiesto.
4. se prohibe comer chicharrón en los conciertos.
5. ¿qué comen los marcianos?
6. ¡maldita sea mi suerte!
![Page 16: Refelxiones con Respecto a la Lógica - UAM Azcapotzalcokali.azc.uam.mx/clc/03_docencia/licenciatura/log_simb/Ra_LoSim_Que... · expresiones declarativas, imperativas, interrogativas](https://reader033.vdocuments.site/reader033/viewer/2022052921/5c0267ee09d3f279018e1157/html5/thumbnails/16.jpg)
preposiciones simples o elementales
la ballena es animal marino
febrero en 1979, tuvo 29 días
la ballena es un mamífero
![Page 17: Refelxiones con Respecto a la Lógica - UAM Azcapotzalcokali.azc.uam.mx/clc/03_docencia/licenciatura/log_simb/Ra_LoSim_Que... · expresiones declarativas, imperativas, interrogativas](https://reader033.vdocuments.site/reader033/viewer/2022052921/5c0267ee09d3f279018e1157/html5/thumbnails/17.jpg)
preposiciones completas o moleculares
Cuba es una isla y Baja California es una península.
si la ballena es un mamífero, entonces la ballena tiene respiración pulmonar.
el hombre es responsable si y solo si, el hombre es libre.
no es el caso que 4 es par.
no es cierto que el agua es un elemento.
![Page 18: Refelxiones con Respecto a la Lógica - UAM Azcapotzalcokali.azc.uam.mx/clc/03_docencia/licenciatura/log_simb/Ra_LoSim_Que... · expresiones declarativas, imperativas, interrogativas](https://reader033.vdocuments.site/reader033/viewer/2022052921/5c0267ee09d3f279018e1157/html5/thumbnails/18.jpg)
RepresentaciónLas preposiciones simples:
p,q,r,…,w
Conctores para formular preposiciones compuestas:
no es el caso que (negación)
y (conjunción)
o (disyunción)
si … entonces (condicional)
si y solo si (bi-condicional)
![Page 19: Refelxiones con Respecto a la Lógica - UAM Azcapotzalcokali.azc.uam.mx/clc/03_docencia/licenciatura/log_simb/Ra_LoSim_Que... · expresiones declarativas, imperativas, interrogativas](https://reader033.vdocuments.site/reader033/viewer/2022052921/5c0267ee09d3f279018e1157/html5/thumbnails/19.jpg)
términosAL lógico no le interesa el proceso de la inferencia, sino las proposiciones que constituyen los puntos inicial y terminal de ese proceso, así como las relaciones existentes entre ellas.
las proporciones son verdaderas o falsas; en esto difieren las preguntas, las órdenes, y las exclamaciones.
![Page 20: Refelxiones con Respecto a la Lógica - UAM Azcapotzalcokali.azc.uam.mx/clc/03_docencia/licenciatura/log_simb/Ra_LoSim_Que... · expresiones declarativas, imperativas, interrogativas](https://reader033.vdocuments.site/reader033/viewer/2022052921/5c0267ee09d3f279018e1157/html5/thumbnails/20.jpg)
proposición = enunciado
proceso de inferencia; para cada inferencia posible hay un razonamiento correspondiente; siendo estos razonamientos los que caen en el ámbito de la lógica.
![Page 21: Refelxiones con Respecto a la Lógica - UAM Azcapotzalcokali.azc.uam.mx/clc/03_docencia/licenciatura/log_simb/Ra_LoSim_Que... · expresiones declarativas, imperativas, interrogativas](https://reader033.vdocuments.site/reader033/viewer/2022052921/5c0267ee09d3f279018e1157/html5/thumbnails/21.jpg)
Entonces, un razonamiento es cualquier grupo de proposiciones, tal que de una de ellas se afirma que deriva de las otras, las cuales son consideradas como elemento de juicio a favor de la verdad de la primera.
un razonamiento no es un conjunto de proposiciones, sino que forman de una estructura de un posible razonamiento.
Al describir la estructura se emplean comúnmente los términos premisa y conclusión.
![Page 22: Refelxiones con Respecto a la Lógica - UAM Azcapotzalcokali.azc.uam.mx/clc/03_docencia/licenciatura/log_simb/Ra_LoSim_Que... · expresiones declarativas, imperativas, interrogativas](https://reader033.vdocuments.site/reader033/viewer/2022052921/5c0267ee09d3f279018e1157/html5/thumbnails/22.jpg)
la conclusión de un razonamiento, es la proposición que se afirma sobre la base de las otras proposiciones.
premisa y conclusión son términos relativos, esto es la misma proposición pues ser premisa en un razonamiento y confusión en otro.
todo lo que esta predeterminado es necesario
todo suceso esta predeterminado
por lo tanto, todo suceso es necesario
![Page 23: Refelxiones con Respecto a la Lógica - UAM Azcapotzalcokali.azc.uam.mx/clc/03_docencia/licenciatura/log_simb/Ra_LoSim_Que... · expresiones declarativas, imperativas, interrogativas](https://reader033.vdocuments.site/reader033/viewer/2022052921/5c0267ee09d3f279018e1157/html5/thumbnails/23.jpg)
Todo suceso causado por otros sucesos, esta predeterminado.
todo suceso esta causado por otro suceso.
por lo tanto todo suceso esta predeterminado.
![Page 24: Refelxiones con Respecto a la Lógica - UAM Azcapotzalcokali.azc.uam.mx/clc/03_docencia/licenciatura/log_simb/Ra_LoSim_Que... · expresiones declarativas, imperativas, interrogativas](https://reader033.vdocuments.site/reader033/viewer/2022052921/5c0267ee09d3f279018e1157/html5/thumbnails/24.jpg)
Frases típicas para introducir una conclusión
por lo tanto
por ende
así
luego
por consiguiente
se sigue que
podremos inferir
podremos concluir
![Page 25: Refelxiones con Respecto a la Lógica - UAM Azcapotzalcokali.azc.uam.mx/clc/03_docencia/licenciatura/log_simb/Ra_LoSim_Que... · expresiones declarativas, imperativas, interrogativas](https://reader033.vdocuments.site/reader033/viewer/2022052921/5c0267ee09d3f279018e1157/html5/thumbnails/25.jpg)
Identificadores de premisas
puesto que
porque
pues
en tanto que
por la razón de que
![Page 26: Refelxiones con Respecto a la Lógica - UAM Azcapotzalcokali.azc.uam.mx/clc/03_docencia/licenciatura/log_simb/Ra_LoSim_Que... · expresiones declarativas, imperativas, interrogativas](https://reader033.vdocuments.site/reader033/viewer/2022052921/5c0267ee09d3f279018e1157/html5/thumbnails/26.jpg)
fin