Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

Ejercicios de logica proposicional y de predicados - grupo 6

2,403 views

Published on

Published in: Education
  • Be the first to comment

  • Be the first to like this

Ejercicios de logica proposicional y de predicados - grupo 6

  1. 1. Logica de proposicionesElaborado Por:Corina AreasMercedes CastilloFélix García<br />
  2. 2. ¿Cuáles de las expresiones siguientes son proposiciones? De las que no son diga por qué.<br />Además escríbalas en lógica proposicional o de predicado, si fuera posible.<br />1. ¿Cuáles son proposiciones?<br />En este caso esta es una oración interrogativa y no una proposición porque su respuesta no tener valor de verdad en este caso de verdadero o falso<br /> <br />
  3. 3. 2. El reconocimiento del pasado es separable del reconocimiento del futuro.<br />Si es una proposición por tener un valor de verdad<br />Lógica proposicional<br />P: El reconocimiento del pasado<br />Q : el reconocimiento de futuro<br />e: es separable<br /> P U’ Q<br />Lógica de predicados<br />Qe(p)<br />
  4. 4. 3.El reconocimiento del futuro es separable del reconocimiento del pasado.<br />En este caso esta también es una forma de representación del conocimiento, <br /> <br />Lógica proposicional<br />En este caso se estudia la lógica de conmutatividad<br />Q U’ P<br />Lógica de predicados<br />Pe(q)<br /> <br /> <br />
  5. 5. 4. El conocimiento del pasado es posible.<br />Es una proposición<br />Lógica proposicional<br />No se puede por ser una proposición simple<br />Lógica de predicados<br />P: Predicado Es posible<br />C: El conocimiento del pasado<br /> <br />P(c)<br /> <br />
  6. 6. Ejercicio 2. Formalice en lógica de predicados y analice si la conclusión corresponde a la hipótesis.<br />Puede auxiliarse de cualquier forma de representación del conocimiento para un mejor análisis o una correcta conclusión.<br />
  7. 7. Si Alberto estudia medicina, Fernando le dará ayuda económica. Si la situación económica permanece estable, Alberto estudia medicina y Ricardo estudia computación. Si Fernando da ayuda económica a Alberto, Martha se disgustará con Fernando. Entonces, si Ricardo no estudia computación, Martha se disgustará con Fernando.<br /> <br />P: Alberto estudia medicina M(a)<br />Q: Fernando da ayuda económica AE(f)<br />R: la situación económica permanece estable E(se)<br />S: Ricardo estudia computación C(r)<br />T: Martha se disgusta D(m)<br /> <br /> <br /> <br />(M(a)  AE(f) )  ( E(se)  M(a) Ù E(se).) ( AE(f)a D(m)f ) ¬C(r) D(m)f<br /> <br />

×