cuadernillo de lógica simbólica-copán-2015.pptx
TRANSCRIPT
![Page 1: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/1.jpg)
1
Lógica simbólica.
Profr. Federico Meza MejíaInstituto CopánCiclo escolar 2014-2015
![Page 2: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/2.jpg)
2
Conocida también con los nombres de lógica moderna, lógica matemática o logística.
Esta nueva lógica nació de la insuficiencia de la lógica tradicional o Aristotélica.
Utiliza una simbología más completa.
Diferencia entre el lenguaje lógico y la realidad.
Posee un mayor grado de exactitud y una potencia lógica superior.
![Page 3: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/3.jpg)
3
La lógica tradicional
Es una lógica de términos
Su nomenclatura y sintaxis están expresadospor medio del lenguaje común o natural.
![Page 4: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/4.jpg)
4
La lógica moderna
Posee una mayor amplitud
Su terminología y su sintaxis, se manifiestan mediante un lenguaje artificial.
![Page 5: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/5.jpg)
5
En la lógica tradicional se simbolizan únicamente los términos
Palabra o es A o es B
![Page 6: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/6.jpg)
6
En la lógica simbólica, se representan tanto los términos
como las proposiciones y los signos lógicos.
![Page 7: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/7.jpg)
7
La lógica matemática comienza en el año de 1620
Con la publicación de la obra: “El nuevo órgano de la ciencia”de Francis Bacon
![Page 8: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/8.jpg)
8
Los precursores de la lógica contemporánea son:
Kant
Hegel
Leibniz
![Page 10: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/10.jpg)
10
Clasificación de las proposiciones
•Las proposiciones son pensamientos o enunciados declarativos.
•Los cuales puedes ser verdaderos o falsos.
•Los enunciados interrogativos, imperativos o admirativos
No son proposiciones.
•Vgr. El petróleo es un hidrocarburo
puede ser verdadero o falso
![Page 11: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/11.jpg)
11
Ejercicio.Escribe una P si es una proposición o una NP si no es proposición
1. Alto con la luz roja __________
2. Cuidado con el perro __________
3. ¿Para que me sirve la libertad? __________
4. ¡Maldita sea mi suerte! __________
5. El agua se compone de hidrógeno y oxígeno. __________
6. Podemos distinguir… __________
7. En la democracia todos podemos participar. __________
8. La lógica es una ciencia formal. __________
9. ¡Recáspita! __________
10. El mar es una gran cantidad de agua salada __________
11. 7 + 3 = 10 __________
12. Carlos no fue militar. __________
13. La malaquita no es carbonato de cobre. __________
14. ¿Tienes cambio? __________
![Page 12: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/12.jpg)
12
Proposiciones
•Simples o Atómicas. •Son aquellas que constan de una sola proposición.•No tienen conectivo lógico.
•Vgr. Sócrates fue un filósofo griego.
•Compuestas o Moleculares.•Son aquellas que constan de dos o más proposiciones.
•Si tienen conectivo lógico
•no•Y•o•O…o•Si…entonces•Si y sólo sí
![Page 13: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/13.jpg)
13
Vgr. Sócrates no fue un filósofo griego
•Sócrates y Platón son originarios de Grecia.
•Sócrates o Platón corrompieron a la juventud
•O Sócrates enseño mediante la mayéutica o Platón lo hizo a través de la dialéctica.
•Si Sócrates es griego entonces es europeo.
•Sócrates es griego si y sólo si nació en Grecia.
![Page 14: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/14.jpg)
14
Ejercicio.Escribe una A si es una proposición Atómica y una M si es una proposición molecular.
•El karate es una disciplina de Japón. ________
•O entrenas karate o entrenas shaolín y ambas son artes marciales. ________
•La templanza y la prudencia son virtudes. ________
•Los pumas son campeones del futbol mexicano. ________
•Si soy un filósofo y me hago preguntas, entonces dudo. ________
•El samurái iba a la guerra, pero tenia paz en su alma ________
•O te alimentas o te mueres ________
•Soy un animal racional y soy un ser emocional ________
![Page 15: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/15.jpg)
15
Conectivos lógicos.
Conectivo Símbolo Significado
1.-Negación No, no es cierto que, no
ocurre que
2.-Conjunción Y
3.-Disyunción inclusiva O
4.-Disyunción exclusiva o…o
5.-Condicional Si…entonces
6.-Bicondicionaal Si y sólo si
![Page 16: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/16.jpg)
16
Conectivos lógicos.
Conectivo Símbolo Significado
![Page 17: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/17.jpg)
17
Conectivos lógicos.
•Monádicos.
•Binarios.
Negación.
•Conjunción.
•Disyunción inclusiva
•Disyunción exclusiva
•Condicional
•Bicondicional
![Page 18: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/18.jpg)
18
Reglas para construir el lenguaje simbólico
•Para utilizar correctamente el lenguaje simbólico, es necesario conocer y
Aplicar una serie de reglas sencillas, mediante las cuales podamos manejar
adecuadamente el lenguaje propio de la lógica.
![Page 19: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/19.jpg)
19
•Las proposiciones simples se simbolizan
con letras minúsculas: p, q, r, s, t… etc.
•V.gr. Los tiburones son vertebrados
•Esta proposición la podemos simbolizar
mediante la letra minúscula = p
![Page 20: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/20.jpg)
20
•Los conectivos lógicos se simbolizan de la siguiente manera
Conectivo Símbolo Significado
Conectivos lógicos.
![Page 21: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/21.jpg)
21
•Para cada proposición simple debemos utilizar una sola letra y no más.
•El símbolo de la negación se escribe siempre a la izquierda de una proposición ya sea simple o compuesta.•Vgr. p (pq) (pq) p r
![Page 22: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/22.jpg)
22
• el único conectivo lógico que puede ir al inicio de una proposición es el de negación.
•El único conectivo lógico que puede ir junto a otro conectivo lógico es el de negación.
p
p q q p
p v q
![Page 23: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/23.jpg)
23
•Los símbolos de los conectivos, se escriben siempre entre las letras o las proposiciones
[(p v q) p] q
p q
(p v q) p
![Page 24: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/24.jpg)
24
Ejercicio.Simboliza las siguientes proposiciones
No es cierto que México este saliendo de la crisis.
Si México aumenta sus exportaciones, entonces se incrementaran sus divisas.
Miguel Ángel es escultor y Fidias es pintor
Octavio Paz es escritor o es poeta
O son las 11 o son las 12 del día
Miguel Ángel es autor de La Piedad si y sólo si Miguel Ángel fue escultor.
![Page 25: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/25.jpg)
25
Agrupación de proposiciones.
•Estos signos nos sirven para separar o agrupar proposiciones.
•tales agrupaciones se hacen mediante: paréntesis, corchetes y llaves.
•La “,” nos indica que debemos utilizar paréntesis ( )
• El “ ; ” nos indica que debemos utilizar los corchetes.
• El “ . “ nos indica que es conveniente utilizar las llaves.
![Page 26: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/26.jpg)
26
Traduce del lenguaje natural al lenguaje simbólico los siguientes enunciados, aplicando las reglas antes vistas.
Llueve y hace viento
Llueve , y no nieva o hace o viento
No llueve y no nieva
Si llueve, entonces no nieva.
Ni llueve ni nieva
![Page 27: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/27.jpg)
27
Si jugamos a la lotería y nos toca, entonces nos vamos a Cancún
Si México es rico en materias primas y se tiene una administración adecuada, entonces podría salir de sus crisis económicas.
O la Divina Comedia la escribió Dante Alighieri o la escribió Miguel Ángel y no se edito en el siglo XX.
Si no abordas el autobús a las 7:15 hrs., entonces no podrás llegar a tu clase de ingles y corres el riesgo de no aprobar el examen.
![Page 28: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/28.jpg)
28
Si y sólo si tenemos dinero podemos irnos de fiesta; pero nos vamos de fiesta, entonces tenemos dinero.
![Page 29: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/29.jpg)
29
Proposición Tipo Conectivo Oración con conectivo Lenguaje simbólico
X=y
Al buen entendedor pocas palabras
Pierre y Marie son científicos
No ocurre que 6>7
O en el vino está la verdad o sólo la fantasía
X+7=9 si y sólo si x=2
Si quieres todo lograr entonces dedícate a laborar
Los murciélagos no son ratones
Los lípidos son grupos heterogéneos
La naturaleza no da saltos
Si estudiamos para el examen entonces aprobaremos
No es cierto que el ácido sulfúrico corroa la madera
Todos los triángulos tienen tres lados y sus ángulos
internos suman 180º
En México se respetan los derechos humanos o en
México estos derechos se violan.
![Page 30: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/30.jpg)
30
Proposición Tipo Conectivo Oración con conectivo Lenguaje simbólico
El sol es una estrella si y sólo si la tierra es un planeta
Juan y María son novios
La línea más corta entre dos puntos es la línea recta.
No es cierto que el plomo sea radioactivo
Todos los metales se dilatan con el calor.
Cuba es una isla y Baja California es una península.
Plutón es el planeta más cercano o el más lejano de nuestro sistema solar.
Las clases iniciaron en agosto.
La escuela es un medio y no un fin en sí mismo.
O México sale adelante con el TLC o fracasa
A los jóvenes les gusta la música moderna.
Pasaré el curso si y sólo si le hecho ganas
La lógica es una materia interesante.
La contaminación ha despertado la conciencia social.
Si me amas entonces me dirás la verdad.
![Page 31: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/31.jpg)
31
Proposición Tipo Conectivo Oración con conectivo Lenguaje simbólico
Si en México hay democracia entonces respetan los derechos humanos.
El sol es una estrella si y solo si tiene luz propia.
Todos los empleados cuentan con un empleo digno
El petróleo no es un hidrocarburo
La Habana es capital de Cuba
La música es el placer de escuchar y la ética es el arte de vivir.
Marco Aurelio fue emperador y filósofo.
O Arquímedes y Newton son matemáticos o son historiadores.
Pitágoras fue un sabio griego y fue originario de la isla de Samos.
Según Sócrates, la maldad es sinónimo de ignorancia y la virtud es sinónimo de sabiduría.
José Martí fue cubano o antillano.
Si en México no hay fraude electoral, entonces tendremos elecciones democráticas
Si voy a Grecia entonces visitaré el Partenón
Iremos al teatro si y sólo si presentan una obra de Shakespeare
No es el caso seguir esperando
![Page 32: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/32.jpg)
32
Proposición Lenguaje simbólico
1.- Sartre y Marcel son existencialistas.
2.- La avenida Revolución está en la Ciudad de México.
3.- Jantipa está furiosa o Sócrates está triste.
4.- Hegel es un idealista alemán.
5.- Sí x = w y w = z entonces x = z.
6.- El plomo no es elemento ligero:
7.- Si las ballenas son cetáceos entonces son mamíferos.
8.- Un cuerpo es negro si y sólo si absorbe toda la energía.
9.- X z o x z.
10.- La lógica y la ética son disciplinas filosóficas
![Page 33: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/33.jpg)
33
18.- El agua no es buen conductor de la electricidad.
19.- Juan es abogado o es arquitecto famoso.
20.- El Bosque de Chapultepec no es un lugar de descanso.
21.- Juan es casado y Enrique es soltero.
11.- Luis Miguel vive en Acapulco y Ricky Martin en Miami
12.- La Lógica requiere mayor esfuerzo o aprenderé con dificultad.
13.- Si te ama, entonces se preocupara por tu salud.
14.- Si te gusta el deporte entonces haremos ejercicio juntos.
15.- No es suficiente el salario mínimo en la ciudad de México
16.- Si te preparas bien, entonces obtendrás mejor salario.
17.- Juan en honesto si y sólo si dice la verdad.
Proposición Lenguaje simbólico
![Page 34: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/34.jpg)
34
Transcribe las siguientes proposiciones del lenguaje
simbólico a lenguaje natural
Lenguaje natural
(p v q) p
q p
[(p q) (q r) (p r)]
[(p q) q] p
[(p q) q] r s
(p v q) p] q
[(p v q) p] q
p v q
![Page 35: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/35.jpg)
35
Transcribe las siguientes proposiciones del lenguaje
simbólico a lenguaje natural
Lenguaje natural
~ q v p
(p v q)
p (q v r)
( p v q) r
(p v q) r
q v (p r)
p (q r)
{[(p v q) r] p } r
(p q) (p v q)
(p v q) q
(p q) ( q p)
![Page 36: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/36.jpg)
36
Ejercicios de Lógica simbólica 1.- Traduce al lenguaje natural las siguientes proposiciones.
p q
p q
[ (p q) p ] q
(p v q) p
q p
[(p q) (q r) (p r)
[(p q) q] p
![Page 37: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/37.jpg)
37
[(p q) q] q
[(p v q) p] q
[(p v q) p] q
p v q
q v p
(p v q)
p (q v r)
p v q) r
![Page 38: Cuadernillo de lógica simbólica-copán-2015.pptx](https://reader034.vdocumento.com/reader034/viewer/2022050712/55cf8fc8550346703b9fcf22/html5/thumbnails/38.jpg)
38
(p v q) r
q v (p r)
p (q r)
{[(p v q) r] p } r
(p q) (p v q)
(p v q) q
(p q) ( q p)