Logica de proposicionesElaborado Por:Corina Areas

Mercedes CastilloFélix García

¿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

2. El reconocimiento del pasado es separable del reconocimiento del futuro.• Si es una proposición por tener un valor de verdad

• Lógica proposicionalP: El reconocimiento del pasadoQ : el reconocimiento de futuroe: es separable P U’ Q

• Lógica de predicadosQe(p)

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)

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)

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.

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