Ejercicios de logica proposicional y de predicados - grupo 7

2,106 views

Published on

Published in: Education
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
2,106
On SlideShare
0
From Embeds
0
Number of Embeds
2
Actions
Shares
0
Downloads
23
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Ejercicios de logica proposicional y de predicados - grupo 7

  1. 1. <ul><li>Universidad Nacional de Ingeniería </li></ul><ul><li>Inteligencia Artificial </li></ul><ul><li>Tema </li></ul><ul><li>Ejercicios Prácticos de </li></ul><ul><li>Preposiciones </li></ul><ul><li>Lógica de predicados </li></ul><ul><li>Elaborado por: </li></ul><ul><li>Br. Jessy Rodríguez salgado </li></ul><ul><li>Br. Walter Bermúdez Madrigal </li></ul><ul><li>Grupo: 4T1-IS </li></ul>
  2. 2. <ul><li>Preposiciones. </li></ul><ul><li>Cada proposición tiene una forma lógica a la cual se le dá un nombre. </li></ul><ul><li>Se distinguen dos tipos de proposiciones: simples y compuestas </li></ul><ul><li>Simple: cuando en ella no interviene ninguna conectiva lógica o término de enlace (y, o, no, si...entonces..., si y sólo si) </li></ul><ul><li>Compuesta: Si se juntan una o varias proposiciones simples con un término de enlace, se forma una proposición compuesta. </li></ul>
  3. 3. 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 preposicional o de predicado, si fuera posible.- <ul><li>Es tarde o está muy caluroso para hoy. </li></ul><ul><li>P: Es tarde. </li></ul><ul><li>Q: Esta muy caluroso para hoy. </li></ul><ul><li>P ˄ Q Disyunción. </li></ul><ul><li>Nada triunfa como el éxito. </li></ul><ul><li>Nada (como _el_ éxito, triunfa) </li></ul>
  4. 4. Ejercicio 2. Formalice en lógica de predicados y analice si la conclusión corresponde a la hipótesis. Puede auxiliarse de cualquier forma de representación del conocimiento para un mejor análisis o una correcta conclusión. <ul><li>Mis amigos son sinceros o algunos disimulan. Pero si son honestos no deben disimular lo que sienten. Así, si mis amigos son sinceros, deben ser honestos. </li></ul><ul><li>V Amigos(x)=> Sinceros(x) v V Amigos(x)=>disimular(x), Amigos(x)=>honestos (X ) ̴ Disimular ( sentimientos, no), </li></ul><ul><li>V Amigos (Sinceros)=>Amigos (honestos). </li></ul>
  5. 5. <ul><li>MUCHAS GRACIAS </li></ul>

×