1. Logica de proposicionesElaborado Por:Corina AreasMercedes CastilloFélix García

2. ¿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. 1. ¿Cuáles son proposiciones? 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

3. 2. El reconocimiento del pasado es separable del reconocimiento del futuro. Si es una proposición por tener un valor de verdad Lógica proposicional P: El reconocimiento del pasado Q : el reconocimiento de futuro e: es separable P U’ Q Lógica de predicados Qe(p)

4. 3.El reconocimiento del futuro es separable del reconocimiento del pasado. En este caso esta también es una forma de representación del conocimiento, Lógica proposicional En este caso se estudia la lógica de conmutatividad Q U’ P Lógica de predicados Pe(q)

5. 4. El conocimiento del pasado es posible. Es una proposición Lógica proposicional No se puede por ser una proposición simple Lógica de predicados P: Predicado Es posible C: El conocimiento del pasado P(c)

6. 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.

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. P: Alberto estudia medicina M(a) Q: Fernando da ayuda económica AE(f) R: la situación económica permanece estable E(se) S: Ricardo estudia computación C(r) T: Martha se disgusta D(m) (M(a)  AE(f) )  ( E(se)  M(a) Ù E(se).) ( AE(f)a D(m)f ) ¬C(r) D(m)f