Ejercicios de logica proposicional y de predicados - grupo 6

2,016 views
1,691 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,016
On SlideShare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
Downloads
19
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

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

×