Logica de proposicionesElaborado Por:Corina AreasMercedes CastilloFélix García<br />
¿Cuáles de las expresiones siguientes son proposiciones? De las que no son diga por qué.<br />Además escríbalas en lógica ...
2.   El reconocimiento del pasado es separable del reconocimiento del futuro.<br />Si es una proposición por tener un valo...
3.El reconocimiento del futuro es separable del reconocimiento del pasado.<br />En este caso esta también es una forma de ...
4. El conocimiento del pasado es posible.<br />Es una proposición<br />Lógica proposicional<br />No se puede por ser una p...
Ejercicio 2. Formalice en lógica de predicados y analice si la conclusión corresponde a la hipótesis.<br />Puede auxiliars...
Si Alberto estudia medicina, Fernando le dará ayuda económica. Si la situación económica permanece estable, Alberto estudi...
Próxima SlideShare
Cargando en…5
×

Ejercicios de logica proposicional y de predicados - grupo 6

2.295 visualizaciones

Publicado el

Publicado en: Educación
  • Sé el primero en comentar

  • Sé el primero en recomendar esto

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 />

×