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