ejercicios de lógica proposicional y de predicados - grupo 8
DESCRIPTION
TRANSCRIPT
![Page 1: Ejercicios de lógica proposicional y de predicados - grupo 8](https://reader033.vdocuments.site/reader033/viewer/2022061206/5483103c5906b58a158b4617/html5/thumbnails/1.jpg)
Grupo 12:Claudia Patricia López Hernández
UNIVERSIDAD NACIONAL DE INGENIERIAUNI -
RUPAPFACULTAD DE CIENCIAS Y SISTEMAS
RESOLUCIÓN DE EJERCICIOS - LÓGICA PROPOSICIONAL
Integrantes: Grupo 12 # EJERCICIOS Claudia Patricia López
Hernández. Francisco Josué Gaitán
Blandón. Francisco Javier Briones
Sequeira.
![Page 2: Ejercicios de lógica proposicional y de predicados - grupo 8](https://reader033.vdocuments.site/reader033/viewer/2022061206/5483103c5906b58a158b4617/html5/thumbnails/2.jpg)
Grupo 12:Claudia Patricia López Hernández
UNIVERSIDAD NACIONAL DE INGENIERIAUNI -
RUPAPFACULTAD DE CIENCIAS Y SISTEMAS
Oración: Albert Einstein fue un astronauta. No, fue un
científico
![Page 3: Ejercicios de lógica proposicional y de predicados - grupo 8](https://reader033.vdocuments.site/reader033/viewer/2022061206/5483103c5906b58a158b4617/html5/thumbnails/3.jpg)
El amor es un sentimiento sublime.(Proposición) La lógica es ciencia o disciplina. (Proposición) Todo está en movimiento. (Proposición) Toda x que es estática implica que
no está en movimiento. (Proposición)
Ejercicio 1: ¿Cuáles de las expresiones siguientes son proposiciones? De las que no son diga por qué. Además escríbalas en lógica proposicional o de predicado, si fuera posible
![Page 4: Ejercicios de lógica proposicional y de predicados - grupo 8](https://reader033.vdocuments.site/reader033/viewer/2022061206/5483103c5906b58a158b4617/html5/thumbnails/4.jpg)
Condiciones por que son:1- Oraciones Aseverativas.2- Leyes Científicas.3- Formulas matemáticas.4- Las formulas o esquemas lógicos.5 –Los enunciados cerrados o claramente definidos.
Condiciones por que no son:1- Opiniones y suposiciones.2- Los proverbios, modismos y refranes.3- Enunciados abiertos no definidos.4- Oraciones interrogativas, exclamativas, imperativas, desiderativas y dubitativas.5- Operaciones aritméticas.6- Las interjecciones en general.
![Page 5: Ejercicios de lógica proposicional y de predicados - grupo 8](https://reader033.vdocuments.site/reader033/viewer/2022061206/5483103c5906b58a158b4617/html5/thumbnails/5.jpg)
TIPO DE PROPOSICIONES:
Atómica: Se refiere a un único contenido y que no posee ningún conector o delimitador. Se presenta su simbología: p, q y r.
Molecular: Cuando esta formada por una serie de proposiciones lógicas de tipo atómica (p y q).Se presenta su simbología:Conectores Nombre Técnico Significa
Negación «no» Conjunción «p y q»
Disyunción inclusiva
«p o q»
Implicación «si p entonces q» Equivalente «p equivalente a
q» Disyunción
Exclusiva«o p o q»
![Page 6: Ejercicios de lógica proposicional y de predicados - grupo 8](https://reader033.vdocuments.site/reader033/viewer/2022061206/5483103c5906b58a158b4617/html5/thumbnails/6.jpg)
Cuantificador Universal: Representado así: Significa que para todo valor de la variable x, la formula que se coloque a continuación será verdadera.
Proposición atómica ó función bien formada
PredicadoNombre del argumento
![Page 7: Ejercicios de lógica proposicional y de predicados - grupo 8](https://reader033.vdocuments.site/reader033/viewer/2022061206/5483103c5906b58a158b4617/html5/thumbnails/7.jpg)
El amor es un sentimiento sublime:
SENTIMIENTO(AMOR)SUBLIME(AMOR) La lógica es ciencia o disciplina:CIENCIA(LÓGICA)DISCIPLINA(LÓGICA) Todo está en movimiento:xEn_Movimiento(x) Toda x que es estática implica
que no está en movimiento:x(ESTATICA(X)MOVIMIENTO(X))
![Page 8: Ejercicios de lógica proposicional y de predicados - grupo 8](https://reader033.vdocuments.site/reader033/viewer/2022061206/5483103c5906b58a158b4617/html5/thumbnails/8.jpg)
Otros Ejercicios incorporados: Todos los estudiantes de informática son listos.
(Molecular)x(INFORMATICA(x)LISTOS(x)) El hierro es un mineral. (Atómica)MINERAL(HIERRO) Si trabajas o estudias te preparas mejor para el futuro.
(Molecular)(TRABAJASESTUDIAS) FUTURO Einstein fue un científico loco. (Molecular)CIENTIFICO(EINSTEIN) LOCO(EINSTEIN) Si las elecciones son justas entonces no son un fraude.
(Molecular)x(ELECCIONES(X) LIMPIAS(X) FRAUDE(X))
![Page 9: Ejercicios de lógica proposicional y de predicados - grupo 8](https://reader033.vdocuments.site/reader033/viewer/2022061206/5483103c5906b58a158b4617/html5/thumbnails/9.jpg)
MUCHAS GRACIAS