Ejercicios de lógica proposicional y de predicados - grupo 8
-
Author
facultad-de-ciencias-y-sistemas -
Category
Education
-
view
7.784 -
download
6
Embed Size (px)
description
Transcript of Ejercicios de lógica proposicional y de predicados - grupo 8

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.
(Molecular)x(ELECCIONES(X) LIMPIAS(X) FRAUDE(X))

MUCHAS GRACIAS