Grupo 12: Claudia Patricia López Hernández UNIVERSIDAD NACIONAL DE INGENIERIA UNI - RUPAP FACULTAD 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.
9
Embed
Ejercicios de lógica proposicional y de predicados - grupo 8
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
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.
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
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
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.
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»
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
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))
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.