Respuestas (breve) a las siguientes preguntas:
1.- Diferencias entre el lenguaje proposicional y predicativo.
En el lenguaje proposicional no se permite formalizar con más detalle los elementos sintácticos y en el lenguaje predicativo permite formalizar atendiendo a los individuos, sus propiedades y relaciones. Además, el lenguaje predicativo tiene un mayor alfabeto, disponiendo de términos constantes, términos variables, términos función y predicados, para declarar variables en comparación con el preposicional, que solo tiene sus variables proposicionales, losparéntesisy los conectores lógicos.
2.- ¿Qué elementos forman parte del conjunto denominado: marco conceptual que denotamos MC?
En el marco conceptual estarán las proposiciones atómicas del problema, y que deben ser formalizadas, y los elementos del lenguaje formal al que vayamos a formalizar.
Un par de ejemplos de razonamientos en lenguaje natural, y formalizados en lenguaje de proposiciones.
P1. “Si voy de tiendas compro ropa”
P2. “Voy de tiendas”
Q. “He comprado ropa”
MC: {p=ir de tiendas, q=comprar ropa}
p -> q / p ⇒ q
P1. “Es suficiente beber y fumar para pasarlo bien”
P2. “Solo estoy bebiendo”
Q. “No me lo estoy pasando bien”
MC: {p=beber, q= fumar, r=pasarlo bien}
p^q -> r / p ⇒ ¬r
Un par de ejemplos de razonamientos en lenguaje natural, y formalizados en lenguaje de predicados.
P1. “Alfonso sabe conducir y navegar, pero no pilotar”
P2. “Jaime sabe conducir pero no navegar ni pilotar”
Q. “Ni Jaime ni Alfonso saben pilotar”
MC: {Co(x)=x sabe conducir, Na(x)=x sabe navegar, Pi(x)=x sabe pilotar, al=alfonso,ja=jaime}
[Co(al) ^ Na(al) ^ (¬Pi(al))], [Co(ja) ^ (¬Na(ja) ^ ¬ Pi(x))] ⇒ [¬Pi(al) ^ ¬Pi(ja)]
P1. “Algunas mujeres son delicadas”
P2. “María es mujer”
Q. “María es delicada”
MC= {Mu(x)=x es mujer, De(x)=x es delicada, ma=maria}
Ǝx [Mu(x) -> De(x)], [Mu(ma)] ⇒ [Mu(ma) -> De(ma)]
Un ejemplo de conjunto formado por la unión de otros tres.
A = {a, b, c, d, e, f}
B = {d, e, d}
C = {a, c}
D = {b, a, f}
A = B u C u D
Escribe algún link “interesante” para este tema, que consideres importante o curioso.
http://wmatem.eis.uva.es/~matpag/CONTENIDOS/Conjuntos/marco_conjuntos.htm
http://www.elprisma.com/apuntes/matematicas/teoriaconjuntos/