2. Francisco Josué Gaitán Blandón.

4. 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 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)

5. 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.

6. 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:

7. Cuantificador Universal: Representado así: ∀𝑥𝐹𝑥 Significa que para todo valor de la variable x, la formula que se coloque a continuación será verdadera. ∀𝒙𝑭𝒙 Predicado Nombre del argumento Proposición atómica ó función bien formada

8. 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))

9. 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) (TRABAJASESTUDIAS) 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))

10. MUCHAS GRACIAS