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) (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))