logica

Lenguaje Sp
El lenguaje Sp que es un sistema formal en el cual se pueden escribir formulas indicando el valor de verdad de las mismas. En la representación de una formula en lenguaje Sp se pone de manifiesto las relaciones que lo hacen valido. Los símbolos funcionales como asignaciones de sustantivos a sustantivos; a los símbolos relacionales como predicados; al símbolo ≡ como el predicado queexpresa la identidad entre dos objetos

Interpretación

Una interpretación natural del vocabulario Sp es asignar, a los símbolos que lo constituyen, palabras o frases de un idioma particular (por ejemplo el castellano), de tal modo que las fórmulas se
Interpreten como oraciones en sentido completo del idioma en cuestión.

A las variables se les interpretan como sustantivos (de una categoríaparticular), esto es el dominio; a los símbolos funcionales como asignaciones de sustantivos a sustantivos; a los símbolos relacionales como predicados; al símbolo ≡ como el predicado que expresa la identidad entre dos objetos; a los cuantificadores se les califica como adjetivos que califican la cantidad; a los conectores de igual manera que en Ss y los constantes se les interpretan como ciertos nombrespropios.
Ejemplo: Considere el lenguaje l = {R12, R21, F11, c1, c2}. Interpretando a las variables en la categoría de los seres humanos. Al símbolo R12 interpretémoslo como el predicado “...está casado con...”. El símbolo R21 interpretémoslo como “...es cura”. Al símbolo F11 interpretémoslo como la asignación que hace corresponder a cada ser humano su cónyuge (sí existe). A c1 asignémosle elnombre Sócrates y a c2 asignémosle el nombre Juan XXII. Ahora, armados de esta interpretación, pasemos a ver el significado de algunos términos y fórmulas construidos en el lenguaje l.

F11 (c1) significa: “la esposa de Sócrates”
F11 (F11 (c1)) significa: “el cónyuge de cónyuge de Sócrates”.
F11 (F11 (c1)) ≡ c1 significa “el cónyuge del cónyuge de Sócrates es Sócrates”.
R12(x1, x2) significa: “el serx1 está casado con el ser x2”.
R12(x1, F11(x1)) significa: “el ser x1 está casado con su cónyuge”.
∃x1 R21(x1) puede traducirse de muchas maneras, todo significando lo mismo. He aquí unas de ellas: “algún ser humano es cura”, “existen curas”, “hay curas”.
x1 (R21(x1) ∨ ¬R21(x1)) significa: “Todo ser humano o bien es cura o bien no lo es”. También podría traducirse como “se es cura o no se escura”.
x1 (R21(x1) → ¬∃x2 R12 (x1, x2) significa: “Los curas no tienen cónyuges”; o bien “no hay curas casados”; o literalmente: para todo ser humano, si este es cura, no tiene cónyuge.
∃x1∃x2∃x3(x2 ≠ x3 ∧ R12(x1, x2) ∧ R12(x1, x3) significa: “existe un ser humano con dos cónyuges”.
x1 ∀x2 (R12 (x1, x2) ↔ R12 (x2, x1)) significa que: “Una persona está casada con otra si y solo si esta última está casadacon la primera”.
∃x1 ∀x2 (¬R12(x1, x2) ∧ ¬R21(x1)) significa: “Hay personas que no son curas ni están casadas”.
¬∀x1 ¬R21(x1) significa: “No todas las personas no son curas”. O lo que es lo mismo “hay curas”
x1 ∀x2 (R12 (c1, x1) → R12(x2, x1) significa: “Toda persona que sea el cónyuge de Juan XXII es también el cónyuge de cualquier ser humano”.
x1 ∀x2 (R12 (x1, x2) → x1 ≠ x2) significa: “Si dospersonas están casadas son diferentes”.
x1 ∀x2 (x1 ≠ x2 → R12(x1, x2)) significa: “Si dos personas son diferentes, entonces están casados”.
x1 ∀x2 ∀x3 (R12(x2, x1) ∧ R12(x2, x3) → x1 ≡ x3) significa: “si tres personas son tales que la primera está casada con la segunda y la segunda con la tercera, necesariamente la primera y la tercera persona son la misma.
Este procedimiento de interpretaciónpuede hacerse con cualquier lenguaje. Además cada lenguaje tiene una infinidad de interpretaciones. Lo que es bien importante es que una vez fijada la interpretación de sus símbolos, las fórmulas tienen un significado unívocamente determinado.
Vocabulario del lenguaje Sp

El vocabulario de Sp está constituido por un conjunto v = v1 u v2 u v3 u v4 u v5 u v6 u v7 en donde los Vﺄ para i Ẹ {1, 2, 3,...