Recordemos que cada uno de los tipos de estructuras consideradas en el capitulo Estructuras y su Lenguaje Elemental tiene su tipo asociado. Es decir: \[\begin{aligned} \text{Tipo de los posets} & =(\emptyset,\emptyset,\{\leq\},\{(\leq,2)\})\\ \text{Tipo de los ret. ternas} & =(\emptyset,\{\mathsf{s},\mathsf{i}\},\emptyset,\{(\mathsf{s},2),(\mathsf{i},2)\})\\ \text{Tipo de los ret. acotados} & =(\{0,1\},\{\mathsf{s},\mathsf{i}\},\emptyset,\{(\mathsf{s},2),(\mathsf{i},2)\})\\ \text{Tipo de los ret. comp.} & =(\{0,1\},\{\mathsf{s},\mathsf{i},c\},\emptyset,\{(\mathsf{s},2),(\mathsf{i},2),(c,1)\})\\ \text{Tipo de los ret. cuaternas} & =(\emptyset,\{\mathsf{s},\mathsf{i}\},\{\leq\},\{(\mathsf{s},2),(\mathsf{i},2),(\leq,2)\})\\ \text{Tipo de las median algebras} & =(\emptyset,\{M\},\emptyset,\{(M,3)\})\\ \text{Tipo de los grafos} & =(\emptyset,\emptyset,\{r\},\{(r,2)\})\\ \text{Tipo de los grafos bicoloreados} & =(\emptyset,\emptyset,\{r,R\},\{(r,2),(R,1)\}) \end{aligned}\] Notese que en cada uno de los casos anteriores los simbolos de \(\mathcal{C}\cup\mathcal{F}\cup\mathcal{R}\) son los que se usan (junto con los simbolos logicos, las variables y los nombres de elementos fijos) para formar sus correspondientes terminos y formulas elementales. Es decir, lo particular de los terminos y las formulas elementales de cada tipo de estructura estaba dado por los correspondientes simbolos de \(\mathcal{C}\cup\mathcal{F}\cup\mathcal{R}\). Esto nos permite generalizar nuestros conceptos intuitivos de termino elemental y formula elemental, para el caso de cualquier tipo \(\tau\) de estructuras. Primero definamos dado un tipo \(\tau=(\mathcal{C},\mathcal{F},\mathcal{R},a)\) los terminos elementales de tipo \(\tau\) por las siguientes clausulas:
adhocprefix-adhocsufix Cada palabra de \(\mathcal{C}\) es un termino elemental de tipo \(\tau\)
adhocprefix-adhocsufix Las variables \(x,y,z,w,...\) son terminos elementales de tipo \(\tau\)
adhocprefix-adhocsufix Los nombres de elementos fijos \(a,b,c,d,...\) son terminos elementales de tipo \(\tau\)
adhocprefix-adhocsufix Si \(f\in\mathcal{F}_{n}\), con \(n\geq1\) y \(t_{1},...,t_{n}\) son terminos elementales de tipo \(\tau\), entonces \(f(t_{1},...,t_{n})\) es un termino elemental de tipo \(\tau\)
adhocprefix-adhocsufix Una palabra es un termino elemental de tipo \(\tau\) si y solo si se puede construir usando las clausulas anteriores
Deberia quedar claro que un termino elemental de tipo \(\tau\) como objeto matematico es una palabra. Tambien deberia quedar claro que arriba \(f(t_{1},...,t_{n})\) denota el resultado de concatenar las \(n+(n-1)+3\) siguientes palabras \[f\;\;\;(\;\;\;t_{1}\;\;\;,\;\;\;t_{2}\;\;\;,\;\;\;...\;\;\;,\;\;\;t_{n}\;\;\;)\] es decir que \(f(t_{1},...,t_{n})\) es una palabra de longitud \(\left|f\right|+\left|t_{1}\right|+...+\left|t_{n}\right|+(n-1)+2\) (notar que \(n-1\) cuenta la cantidad de comas). Veamos algunos ejemplos:
adhocprefix(E1)adhocsufix Si \(\tau\) es el tipo \[(\{\mathrm{un},0\},\{\mathrm{MAS},\mathrm{P},+\},\{\mathrm{Verde}\},\{(\mathrm{MAS},4),(\mathrm{P},1),(+,2),(\mathrm{Verde},1)\})\] entonces las siguientes palabras son terminos elementales de tipo \(\tau\):
\(\mathrm{un}\)
\(0\)
\(x\)
\(a\)
\(\mathrm{MAS}(a,b,\mathrm{un},z)\)
\(\mathrm{P}(\mathrm{P}(z))\)
\(+(+(0,x),\mathrm{P}(z))\)
\(\mathrm{MAS}(\mathrm{P}(0),+(0,b),\mathrm{un},\mathrm{MAS}(x,x,x,x))\)
Por supuesto las aridades de los nombres de \(\mathcal{F}\) son importantes y deben ser respetadas. Por ejemplo \[\mathrm{P}(x,y)\ \ \ \ \ \ \mathrm{MAS}(a,b)\ \ \ \ \ \ +(x,y,z)\] no son terminos elementales de tipo \(\tau\).
adhocprefix(E2)adhocsufix Si \(\tau\) es el tipo de los reticulados complementados \[(\{0,1\},\{\mathsf{s},\mathsf{i},c\},\emptyset,\{(\mathsf{s},2),(\mathsf{i},2),(c,1)\})\] entonces las siguientes palabras son terminos elementales de tipo \(\tau\):
\(\mathsf{s}(x,y)\)
\(a\)
\(\mathsf{s}(\mathsf{i}(x,0),z)\)
\(c(\mathsf{s}(\mathsf{i}(x,0),c(z)))\)
\(c(\mathsf{s}(\mathsf{i}(0,0),0))\)
Notese que no coinciden con los terminos elementales de reticulados complementados definidos en el capitulo Estructuras y su Lenguaje Elemental ya que aqui usamos un formato mas general y usamos \(\mathsf{s}(x,y)\) en lugar de \((x\ \mathsf{s}\ y)\), etc. Obviamente esto no cambia mucho las cosas y es hecho a los fines de homogeneisar la escritura y no hacer un uso distinto para los nombres de funcion de aridad 2.
adhocprefix(E3)adhocsufix Si \(\tau\) es tal que \(\mathcal{F}=\emptyset\) entonces los terminos elementales de tipo \(\tau\) son las variables, los nombres de elementos fijos y los elementos de \(\mathcal{C}\)
adhocprefix(E4)adhocsufix Si \(\tau\) es el tipo \[(\{1,\mathrm{er}\},\{+,\mathsf{s}\},\emptyset,\{(+,5),(\mathsf{s},3)\})\] entonces las siguientes palabras son terminos elementales de tipo \(\tau\):
\(\mathsf{s}(x,z,1)\)
\(+(1,1,1,1,1)\)
\(\mathsf{s}(+(\mathrm{er},\mathrm{er},z,a,a),\mathrm{er},\mathsf{s}(x,x,x))\)
adhocprefix(E5)adhocsufix Tal como lo aclaramos anteriormente la definicion de tipo es muy libre en lo que respecta a que palabras componen los conjuntos \(\mathcal{C}\), \(\mathcal{F}\) y \(\mathcal{R}\), es decir salvo por ciertas restricciones leves, ellas pueden ser cualquier palabra aunque a veces resulte chocante la eleccion de las mismas debido al uso y costumbre de los matematicos. Por ejemplo si tomamos \(\tau=(\{\leq\},\{1\},\emptyset,\{(1,3)\})\), obtenemos un tipo en el cual \(\leq\) es un nombre de constante y el numeral \(1\) es un nombre de funcion \(3\)-aria (lo cual nos dice que en una estructura de tipo \(\tau\) el simbolo \(\leq\) debera interpretarse como un elemento del universo y el simbolo \(1\) debera interpretarse como una operacion \(3\)-aria). Algunos terminos elementales de este tipo \(\tau\) son:
\(x\)
\(\mathrm{\leq}\)
\(1(z,z,z)\)
\(1(x,a,1(\mathrm{\leq},\mathrm{\leq},\mathrm{\leq}))\)
Un termino elemental de tipo \(\tau\) sera llamado puro cuando en el no ocurran nombres de elementos fijos.
Ahora si usando el concepto de termino elemental de tipo \(\tau\) podemos definir las formulas elementales de tipo \(\tau\) con las siguientes clausulas:
adhocprefix-adhocsufix Si \(t\) y \(s\) son terminos elementales de tipo \(\tau\), entonces la palabra \((t=s)\) es una formula elemental de tipo \(\tau\)
adhocprefix-adhocsufix Si \(r\in\mathcal{R}_{n}\), con \(n\geq1\) y \(t_{1},...,t_{n}\) son terminos elementales de tipo \(\tau\), entonces \(r(t_{1},...,t_{n})\) es una formula elemental de tipo \(\tau\)
adhocprefix-adhocsufix Si \(\varphi_{1}\) y \(\varphi_{2}\) son formulas elementales de tipo \(\tau\), entonces \((\varphi_{1}\wedge\varphi_{2})\) es una formula elemental de tipo \(\tau\)
adhocprefix-adhocsufix Si \(\varphi_{1}\) y \(\varphi_{2}\) son formulas elementales de tipo \(\tau\), entonces \((\varphi_{1}\vee\varphi_{2})\) es una formula elemental de tipo \(\tau\)
adhocprefix-adhocsufix Si \(\varphi_{1}\) y \(\varphi_{2}\) son formulas elementales de tipo \(\tau\), entonces \((\varphi_{1}\leftrightarrow\varphi_{2})\) es una formula elemental de tipo \(\tau\)
adhocprefix-adhocsufix Si \(\varphi_{1}\) y \(\varphi_{2}\) son formulas elementales de tipo \(\tau\), entonces \((\varphi_{1}\rightarrow\varphi_{2})\) es una formula elemental de tipo \(\tau\)
adhocprefix-adhocsufix Si \(\varphi\) es una formula elemental de tipo \(\tau\), entonces \(\lnot\varphi\) es una formula elemental de tipo \(\tau\)
adhocprefix-adhocsufix Si \(\varphi\) es una formula elemental de tipo \(\tau\), entonces las palabras \[\forall x\varphi\;\;\;\forall y\varphi\;\;\;\forall z\varphi\;\;\;...\] son formulas elementales de tipo \(\tau\)
adhocprefix-adhocsufix Si \(\varphi\) es una formula elemental de tipo \(\tau\), entonces las palabras \[\exists x\varphi\;\;\;\exists y\varphi\;\;\;\exists z\varphi\;\;\;...\] son formulas elementales de tipo \(\tau\)
adhocprefix-adhocsufix Una palabra es una formula elemental de tipo \(\tau\) si y solo si se puede construir usando las clausulas anteriores.
Deberia quedar claro que una formula elemental de tipo \(\tau\) como objeto matematico es una palabra. Tambien deberia quedar claro que arriba \(r(t_{1},...,t_{n})\) denota el resultado de concatenar las \(n+(n-1)+3\) siguientes palabras \[r\;\;\;(\;\;\;t_{1}\;\;\;,\;\;\;t_{2}\;\;\;,\;\;\;...\;\;\;,\;\;\;t_{n}\;\;\;)\] es decir que \(f(t_{1},...,t_{n})\) es una palabra de longitud \(\left|r\right|+\left|t_{1}\right|+...+\left|t_{n}\right|+(n-1)+2\) (notar que \(n-1\) cuenta la cantidad de comas).
Tambien deberia quedar claro que el concepto de formula elemental de tipo \(\tau\) no es un concepto definido en forma matematica precisa sino mas bien una idea basada en ciertos ejemplos de la vida real de los matematicos. Veamos algunos ejemplos
adhocprefix(E1)adhocsufix Si \(\tau\) es el tipo \[(\{\mathrm{un},0\},\{\mathrm{MAS},\mathrm{P}\},\{\mathrm{Her},\mathrm{Verde}\},\{(\mathrm{MAS},4),(\mathrm{P},1),(\mathrm{Her},3),(\mathrm{Verde},1)\})\] entonces las siguientes son formulas elementales de tipo \(\tau\):
\(\mathrm{Her}(x,y,z)\)
\(\mathrm{Verde}(x)\)
\(\mathrm{Verde}(\mathrm{MAS}(a,b,\mathrm{un},z))\)
\(\mathrm{Her}(0,\mathrm{MAS}(a,b,\mathrm{un},z),\mathrm{P}(\mathrm{P}(z))))\)
\((\mathrm{un}=\mathrm{P}(z))\)
\((\mathrm{Verde}(\mathrm{MAS}(a,b,\mathrm{un},z))\wedge(\mathrm{un}=\mathrm{P}(0)))\)
\((\mathrm{MAS}(a,b,\mathrm{un},z)=b)\)
\((\mathrm{MAS}(a,b,\mathrm{un},\mathrm{P}(z))=\mathrm{P}(\mathrm{P}(\mathrm{P}(z))))\)
\(\exists z(\mathrm{MAS}(a,b,\mathrm{un},z)=b)\)
\(\forall x\forall y\mathrm{Her}(0,y,\mathrm{P}(\mathrm{P}(x)))\)
\(\forall y\ ((\mathrm{P}(\mathrm{P}(z))=x)\rightarrow\exists z\ (\mathrm{Verde}(z)\wedge\mathrm{Her}(x,y,z)))\)
Por supuesto las aridades de los nombres de \(\mathcal{F}\cup\mathcal{R}\) son importantes y deben ser respetadas. Por ejemplo \[(\mathrm{P}(x,y)=x)\ \ \ \ \ \ \mathrm{Her}(x,y)\ \ \ \ \ \ \ \ \mathrm{Verde}(x,y)\] no son formulas elementales de tipo \(\tau\).
adhocprefix(E2)adhocsufix Si \(\tau\) es el tipo \[(\{0,1\},\{\mathsf{s},\bigtriangleup\},\{\leq,r\},\{(\mathsf{s},2),(\bigtriangleup,5),(\leq,2),(r,2)\})\] entonces las siguientes son formulas elementales de tipo \(\tau\):
\(r(x,z)\)
\(\mathrm{\leq}(x,y)\)
\(\mathrm{\leq}(\bigtriangleup(x,y,z,0,0),\mathsf{s}(x,x))\)
\((\mathsf{s}(a,b)=\bigtriangleup(x,y,z,0,0))\)
\((\bigtriangleup(x,y,z,0,0)=\bigtriangleup(1,1,0,x,z))\)
\((\mathsf{s}(\bigtriangleup(x,y,z,0,0),z)=1)\)
\(\lnot r(x,\mathsf{s}(a,\mathsf{s}(a,b)))\)
\(\lnot\forall y(\mathsf{s}(x,y)=x)\)
\(\exists z\forall x\ (r(x,\mathsf{s}(z,z)\wedge\lnot\mathrm{\leq}(x,z))\)
\(\forall x\forall y\forall z\;((r(x,y)\wedge r(y,z))\rightarrow r(x,z))\)
Notese que hay algunas pequeñas diferencias con las formulas elementales de las estructuras clasicas definidas en el capitulo Estructuras y su Lenguaje Elemental ya que aqui respondemos a un formato mas general. Por ejemplo hemos escrito \(\mathrm{\leq}(x,y)\) en lugar de \(x\leq y\) y \(\mathsf{s}(x,y)\) en lugar de \((x\ \mathsf{s}\ y)\). Esto es a los fines de homogeneisar la escritura y no hacer un uso distinto para los nombres de funcion y de relacion de aridad 2.
Por supuesto las aridades de los nombres de \(\mathcal{F}\cup\mathcal{R}\) son importantes y deben ser respetadas. Por ejemplo \[(+(x,y,z)=x)\ \ \ \ \ \ r(x,y,z)\ \ \ \ \ \ \ \ \mathrm{\leq}(x,y,z)\] no son formulas elementales de tipo \(\tau\).
adhocprefix(E3)adhocsufix Si \(\tau\) es el tipo \[(\{\mathrm{er}\},\{+\},\{\leq\},\{(+,4),(\leq,5)\})\] entonces las siguientes son formulas elementales de tipo \(\tau\):
\(\mathrm{\leq}(x,y,\mathrm{er},\mathrm{er},\mathrm{er})\)
\(\mathrm{\leq}(+(x,y,z,\mathrm{er}),+(x,x,\mathrm{er},x),a,b,z)\)
\(\exists z(+(x,z,x,+(x,x,x,x))=z)\)
adhocprefix(E4)adhocsufix Si \(\tau\) es el tipo \[(\{\mathrm{er}\},\{\leq\},\{+\},\{(\leq,3),(+,2)\})\] entonces las siguientes son formulas elementales de tipo \(\tau\):
\((\mathrm{\leq}(x,y,\mathrm{er})=x)\)
\(+(z,\mathrm{er})\)
\(\exists z\lnot\mathrm{+}(z,\mathrm{er})\)
(aqui hay que tener en cuenta que \(\leq\) es un nombre de funcion de aridad 3 y que \(+\) es un nombre de relacion de aridad 2, lo cual es inusual pero perfectamente posible en nuestra muy general definicion de tipo)
adhocprefix(E5)adhocsufix Si \(\tau\) es el tipo \[(\{\leq\},\{+\},\emptyset,\{(+,3)\})\] entonces las siguientes son formulas elementales de tipo \(\tau\):
\((\mathrm{\leq}=x)\)
\((+(z,\leq,a)=\mathrm{\leq})\)
\((+(+(z,\leq,\leq),x,a)=b)\)
(aqui hay que tener en cuenta que \(\leq\) es un nombre de constante, lo cual es inusual pero perfectamente posible)
Una formula elemental de tipo \(\tau\) sera llamada pura cuando en ella no ocurran nombres de elementos fijos. Notese que en particular los terminos elementales de tipo \(\tau\) que ocurran en una formula elemental pura de tipo \(\tau\) seran tambien puros.
Estos conceptos se definen para una formula elemental \(\varphi\) de un tipo \(\tau\) cualquiera, de la misma manera que lo hicimos en la seccion de reticulados cuaterna para las formulas elementales de reticulados cuaterna. Dejamos al lector que los repace. Recordemos que una variable libre de una formula elemental era una que al menos una vez ocurria libremente (aunque tambien pudiera ocurrir acotadamente en dicha formula elemental). Cuando una formula elemental de tipo \(\tau\) no tenga variables libres, diremos que es una sentencia elemental de tipo \(\tau\).
Dada una estructura \((A,i)\) de tipo \(\tau\) y un termino elemental \(t\) de tipo \(\tau\), para que \(t\) represente un valor de \(A\), tenemos que asignarles valores concretos de \(A\) a las variables y a los nombres de elementos fijos que ocurren en \(t\). Los nombres de funcion que ocurren en \(t\) obviamente se interpretaran segun manda la funcion \(i\). Similarmente dada una estructura \((A,i)\) de tipo \(\tau\) y una formula elemental \(\varphi\) de tipo \(\tau\), para que \(\varphi\) sea verdadera o falsa tenemos que asignarle valores concretos de \(A\) a las variables libres de \(\varphi\) y a los nombres de elementos fijos que ocurren en \(\varphi\) y luego, a los nombres de \(\mathcal{C}\cup\mathcal{F}\cup\mathcal{R}\), debemos interpretarlos usando la funcion \(i\). Notemos que si \(\varphi\) es una sentencia elemental pura de tipo \(\tau\), entonces \(\varphi\) sera verdadera o falsa en cada estructura de tipo \(\tau\), sin necesidad de hacer asignaciones de valores a sus variables.
Algunos ejemplos:
adhocprefix(E1)adhocsufix Sea \(\tau\) el tipo \[(\{\mathrm{un},0\},\{\mathrm{MAS},\mathrm{P}\},\{\mathrm{Her},\mathrm{Verde}\},\{(\mathrm{MAS},4),(\mathrm{P},1),(\mathrm{Her},3),(\mathrm{Verde},1)\})\] y sea \((A,i)\) la estructura de tipo \(\tau\) dada por:
adhocprefix-adhocsufix \(A=\mathbf{R}\), \(i(\mathrm{un})=\pi\), \(i(0)=0\) (ojo que aqui el primer cero es un simbolo y el segundo un numero real!)
adhocprefix-adhocsufix \[\begin{aligned} & \begin{array}[t]{rcl} i(\mathrm{MAS}):\mathbf{R}^{4} & \rightarrow & \mathbf{R}\\ (x,y,z,w) & \rightarrow & x.y \end{array}\\ & \begin{array}[t]{rcl} i(\mathrm{P}):\mathbf{R} & \rightarrow & \mathbf{R}\\ x & \rightarrow & x^{2} \end{array} \end{aligned}\] \[\begin{aligned} i(\mathrm{Her}) & =\{(x,y,z)\in\mathbf{R}^{3}:x.y.z=9\}\\ i(\mathrm{Verde}) & =\mathbf{Q} \end{aligned}\]
Entonces:
El termino elemental \(\mathrm{un}\) asume o representa el valor \(\pi\)
El termino elemental \(\mathrm{P}(z)\) asume o representa el valor \(25\) cuando le asignamos a \(z\) el valor \(5\).
El termino elemental \(\mathrm{MAS}(a,b,\mathrm{un},z)\) asume o representa el valor \(2\) cuando le asignamos a \(a\) el valor \(\sqrt{2}\), a \(b\) el valor \(\sqrt{2}\) y a \(z\) el valor \(16\) (o cualquier otro valor)
La formula elemental \(\mathrm{Her}(x,y,z)\) es verdadera en \((A,i)\) cuando le asignamos a \(x\) el valor \(9\), a \(y\) el valor \(1\) y a \(z\) el valor \(1\)
\(\mathrm{Verde}(x)\) es falsa en \((A,i)\) cuando le asignamos a \(x\) el valor \(\sqrt{2}\)
\(\mathrm{Verde}(\mathrm{MAS}(a,b,\mathrm{un},z))\) es verdadera en \((A,i)\) cuando le asignamos a \(a\) el valor \(\sqrt{2}\), a \(b\) el valor \(\sqrt{2}\) y a \(z\) el valor \(16\) (o cualquier otro valor)
La formula elemental \(\exists y\exists z\ \mathrm{Her}(a,y,z))\) es una sentencia ya que no tiene variables libres y es veradera en \((A,i)\) cuando a \(a\) le asignamos un valor no nulo
La formula elemental \(\exists y\exists z\ \mathrm{Her}(x,y,z))\) es verdadera en \((A,i)\) cuando a \(x\) le asignamos un valor no nulo
La formula elemental \(\forall x\ (\lnot(x=0)\rightarrow\exists y\exists z\ \mathrm{Her}(x,y,z))\) es una sentencia elemental ya que no tiene variables libres y es veradera en \((A,i)\)
La formula elemental \(\forall x\forall y\ ((\mathrm{Verde}(x)\wedge\mathrm{Verde}(y))\rightarrow\mathrm{Verde}(\mathrm{MAS}(x,y,\mathrm{un},z)))\) es verdadera en \((A,i)\) independientemente de que valor le asignemos a \(z\), ya que el producto de racionales es racional
La formula elemental \(\exists y(\mathrm{MAS}(z,z,y,\mathrm{un})=\mathrm{P}(z))\) es veradera en \((A,i)\) cualquiera sea el valor que le asignemos a \(z\)
Error frecuente: En la estructura anterior hay varios elementos que tienen su notacion clasica en la matematica, por ejemplo, con la letra griega \(\pi\) denotamos la cantidad de veces que entra el diametro en la circunferencia o con el numeral \(3\) denotamos al numero entero tres. Esto no debe confundirnos y pensar que por ejemplo las palabras \[\lnot\mathrm{Verde}(\pi)\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \exists y\mathrm{Her}(3,3,y)\] son formulas elementales de tipo \(\tau\) (aunque es claro que son verdaderas en la estructura \((A,i)\))
adhocprefix(E2)adhocsufix Sea \(\tau\) el tipo \[(\{\mathrm{er}\},\{+\},\{\leq\},\{(+,4),(\leq,5)\})\] y sea \((A,i)\) la estructura de tipo \(\tau\) dada por:
adhocprefix-adhocsufix \(A=\{1,2,3,4,5\}\), \(i(\mathrm{er})=4\)
adhocprefix-adhocsufix \[\begin{array}[t]{rcl} i(+):A^{4} & \rightarrow & A\\ (x,y,z,w) & \rightarrow & \max\{x,y,z,w\} \end{array}\] \[i(\leq)=\{(x,y,z,u,v)\in A^{5}:x+y+z+u+v\geq17\}\]
Entonces:
El termino elemental \(\mathrm{er}\) asume o representa el valor \(4\)
El termino elemental \(+(x,x,x,a)\) asume o representa el valor \(4\) cuando le asignamos a \(x\) el valor \(2\) y a \(a\) el valor \(4\).
\(\mathrm{\leq}(\mathrm{er},\mathrm{er},\mathrm{er},\mathrm{er},\mathrm{er})\) es una sentencia elemental verdadera en \((A,i)\)
\(\mathrm{\leq}(x,y,\mathrm{er},\mathrm{er},\mathrm{er})\) es verdadera en \((A,i)\) cuando le asignamos a las variables \(x\) e \(y\) valores que sumados den al menos \(5\)
\(\forall x\exists y\ \mathrm{\leq}(x,x,x,x,y)\) es una sentencia elemental pura la cual es falsa en \((A,i)\), ya que la formula elemental \(\exists y\ \mathrm{\leq}(x,x,x,x,y)\) es falsa en \((A,i)\) cuando le asignamos a \(x\) el valor \(1\)
La sentencia elemental pura \(\forall x\exists z\ \mathrm{\leq}(x,x,x,x,+(x,x,x,z))\) es falsa en \((A,i)\)
adhocprefix(E3)adhocsufix Sea \(\tau\) el tipo \[(\{\mathrm{epa}\},\{\leq,r\},\emptyset,\{(\leq,1),(r,1)\})\] y sea \((A,i)\) la estructura de tipo \(\tau\) dada por:
adhocprefix-adhocsufix \(A=\omega\), \(i(\mathrm{epa})=71\)
adhocprefix-adhocsufix \[\begin{aligned} & \begin{array}[t]{rcl} i(\mathrm{\leq}):\omega & \rightarrow & \omega\\ x & \rightarrow & x^{2} \end{array}\\ & \begin{array}[t]{rcl} i(r):\omega & \rightarrow & \omega\\ x & \rightarrow & \left\lfloor \sqrt{x}\right\rfloor \end{array} \end{aligned}\] (Notese que aqui contrario al uso estandard en la matematica, el simbolo \(\leq\) se interpreta como una funcion.)
El termino elemental \(\mathrm{\leq}(x)\) asume el valor \(100\) cuando a \(x\) le asignamos el valor \(10\)
El termino elemental \(r(\mathrm{\leq}(b))\) asume el valor \(11\) cuando a \(b\) le asignamos el valor \(11\)
El termino elemental \(\mathrm{\leq}(r(b))\) asume el valor \(9\) cuando a \(b\) le asignamos el valor \(11\)
\((\mathrm{\leq}(\mathrm{epa})=x)\) es veradera en \((A,i)\) cuando le asignamos a la variable \(x\) el valor \(71^{2}\) y falsa en caso contrario
La sentencia elemental pura \(\exists z(\mathrm{\leq}(z)=x)\) es verdadera en \((A,i)\) cuando le asignamos a \(x\) el valor \(16\)
La sentencia elemental pura \(\forall x\ (r(\mathrm{\leq}(x))=x)\) es verdadera en \((A,i)\)
La sentencia elemental pura \(\exists x\ \lnot(\mathrm{\leq}(r(x))=x)\) es verdadera en \((A,i)\)