UNIVERSIDAD NACIONAL DE INGENIERIA<br />UNI - RUPAP<br />FACULTAD DE CIENCIAS Y SISTEMAS<br />Grupo 12:<br />Claudia Patri...
Francisco Josué Gaitán Blandón.
Francisco Javier Briones Sequeira.</li></li></ul><li>UNIVERSIDAD NACIONAL DE INGENIERIA<br />UNI - RUPAP<br />FACULTAD DE ...
Ejercicio 1:¿Cuáles de las expresiones siguientes son proposiciones? De las que no son diga por qué.  Además escríbalas en...
Condiciones por que son:1- Oraciones Aseverativas.2- Leyes Científicas.3- Formulas matemáticas.4- Las formulas o esquemas ...
TIPO DE PROPOSICIONES:<br />Atómica: Se refiere a un único contenido y que no posee ningún conector o delimitador. Se pres...
Cuantificador Universal: <br />Representado así:<br />∀𝑥𝐹𝑥 Significa que para todo valor de la variable x, la formula qu...
El amor es un sentimiento sublime:<br />SENTIMIENTO(AMOR)SUBLIME(AMOR)<br />La lógica es ciencia o disciplina:<br />CIENC...
Otros Ejercicios incorporados:<br />Todos los estudiantes de informática  son listos. (Molecular)<br />x(INFORMATICA(x)L...
Próxima SlideShare
Cargando en…5
×

Ejercicios de lógica proposicional y de predicados - grupo 8

7.523 visualizaciones

Publicado el

Publicado en: Educación
0 comentarios
0 recomendaciones
Estadísticas
Notas
  • Sé el primero en comentar

  • Sé el primero en recomendar esto

Sin descargas
Visualizaciones
Visualizaciones totales
7.523
En SlideShare
0
De insertados
0
Número de insertados
4
Acciones
Compartido
0
Descargas
49
Comentarios
0
Recomendaciones
0
Insertados 0
No insertados

No hay notas en la diapositiva.

Ejercicios de lógica proposicional y de predicados - grupo 8

  1. 1. UNIVERSIDAD NACIONAL DE INGENIERIA<br />UNI - RUPAP<br />FACULTAD DE CIENCIAS Y SISTEMAS<br />Grupo 12:<br />Claudia Patricia López Hernández<br />RESOLUCIÓN DE EJERCICIOS - LÓGICA PROPOSICIONAL<br />Integrantes: Grupo 12 # EJERCICIOS<br /><ul><li>Claudia Patricia López Hernández.
  2. 2. Francisco Josué Gaitán Blandón.
  3. 3. Francisco Javier Briones Sequeira.</li></li></ul><li>UNIVERSIDAD NACIONAL DE INGENIERIA<br />UNI - RUPAP<br />FACULTAD DE CIENCIAS Y SISTEMAS<br />Grupo 12:<br />Claudia Patricia López Hernández<br />Oración: <br />Albert Einstein fue un astronauta.<br />No, fue un científico<br />
  4. 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<br />El amor es un sentimiento sublime.<br />(Proposición)<br />La lógica es ciencia o disciplina. <br />(Proposición)<br />Todo está en movimiento. <br />(Proposición)<br />Toda x que es estática implica que no está en movimiento.<br />(Proposición)<br />
  5. 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:<br />1- Opiniones y suposiciones.<br />2- Los proverbios, modismos y refranes.<br />3- Enunciados abiertos no definidos.<br />4- Oraciones interrogativas, exclamativas, imperativas, desiderativas y dubitativas.<br />5- Operaciones aritméticas.<br />6- Las interjecciones en general.<br />
  6. 6. TIPO DE PROPOSICIONES:<br />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.<br />Molecular: Cuando esta formada por una serie de proposiciones lógicas de tipo atómica (p y q).<br />Se presenta su simbología:<br />
  7. 7. Cuantificador Universal: <br />Representado así:<br />∀𝑥𝐹𝑥 Significa que para todo valor de la variable x, la formula que se coloque a continuación será verdadera.<br />∀𝒙𝑭𝒙<br /> <br />Predicado<br />Nombre del argumento<br />Proposición atómica ó función bien formada<br />
  8. 8. El amor es un sentimiento sublime:<br />SENTIMIENTO(AMOR)SUBLIME(AMOR)<br />La lógica es ciencia o disciplina:<br />CIENCIA(LÓGICA)DISCIPLINA(LÓGICA)<br />Todo está en movimiento:<br />xEn_Movimiento(x)<br />Toda x que es estática implica que no está en movimiento:<br />x(ESTATICA(X)MOVIMIENTO(X))<br />
  9. 9. Otros Ejercicios incorporados:<br />Todos los estudiantes de informática son listos. (Molecular)<br />x(INFORMATICA(x)LISTOS(x))<br />El hierro es un mineral. (Atómica)<br />MINERAL(HIERRO)<br />Si trabajas o estudias te preparas mejor para el futuro. (Molecular)<br />(TRABAJASESTUDIAS)  FUTURO<br />Einstein fue un científico loco. (Molecular)<br />CIENTIFICO(EINSTEIN)  LOCO(EINSTEIN)<br />Si las elecciones son justas entonces no son un fraude. (Molecular)<br />x(ELECCIONES(X)LIMPIAS(X)  FRAUDE(X))<br />
  10. 10. MUCHAS GRACIAS<br />

×