- Respuestas (breve) a las siguientes preguntas :
1.- Diferencias entre el lenguaje proposicional y predicativo.
El lenguaje proposicional formaliza las proposiciones teniendo en cuenta sólo las posibles conexiones entre ellas mientras que el lenguaje predicativo además considera los individuos que aparecen en las proposiciones, las características que les afectan y las posibles relaciones entre ellos.
2.- ¿Qué elementos forman parte del conjunto denominado: marco conceptual que denotamos MC?
Conjunto de símbolos que representan todas las proposiciones atómicas del problema formalizadas y los elementos del lenguaje formal elegidos para su formalización.
- Un par de ejemplos de razonamientos en lenguaje natural, y formalizados en lenguaje de proposiciones.
– P1: Si voy a comprar con mi madre, mi madre me comprara cosas.
– Q: No voy a comprar con mi madre, entonces ella no me comprara nada.
MC{p: ir a comprar con mi madre, q: mi madre me compra cosas}
fbf-P1: p –> q
fbf-Q: ¬p –> ¬q
– P1: Son Animales todos aquellos que sii duermen
– P2: Los vampiros no duermen
– Q: Los vampiros no son animales
MC{p: Ser Animal, r: dormir q: vampiro }
fbf-P1: p <–> r
fbf-P2: q –> ¬r
fbf-Q: q –> ¬p
- Un par de ejemplos de razonamientos en lenguaje natural, y formalizados en lenguaje de predicados.
– P1: Si voy a comprar con mi madre, mi madre me comprara cosas.
– Q: No voy a comprar con mi madre, entonces ella no me comprara nada.
MC{yo: yo, ma: mi madre ,Iac(x,y): x va a comprar con y,Cc(y,x) : y compra cosas a x}
fbf-P1: Iac(yo,ma) –> Cc(ma,yo)
fbf-Q: ¬Iac(yo,ma) –> ¬Cc(ma,yo)
– P1: Son Animales todos aquellos que sii duermen
– P2: Los vampiros no duermen
– Q: Los vampiros no son animales
MC{Sa: x es animal, Do(x): x duerme V(x): x es vampiro }
fbf-P1: ∀x [ Sa(x) <–> Do(x)]
fbf-P2: ∀x [ V(x) –> ¬Do(x) ]
fbf-Q: ∀x [ V(x) –> ¬Sa(x) ]
- Un ejemplo de conjunto formado por la unión de otros tres
Sean A={a,b,2,3}, B={b,3,4,5}, C={4,c,d,2,3}
D = (A ∪ B) ∪ C
D = ( {a,b,2,3} ∪ {b,3,4,5} ) ∪ {4,c,d,2,3}
D = {a,b,2,3,4,5} ∪ {4,c,d,2,3}
D = {a,b,c,d,2,3,4,5}
- Escribe soluciones de ejercicios propuestos.
Si Pedro juega al baloncesto Juan también. Fbf: Ju(pe,ba) → Ju(ju,ba). FC: Cl1:¬ Ju(pe,ba) ∨ Ju(ju,ba)
Sólo si Pedro juega al baloncesto Juan juega. Fbf: Ju(ju,ba) → Ju(pe,ba). FC : ¬ Ju(ju,ba) ∨ Ju(pe,ba).
- Escribe algún link “interesante” para este tema, que consideres importante o curioso