Saltar al contenido principal

# 11.2: Lógica de muchos ordenados

$$\newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}$$

$$\newcommand{\id}{\mathrm{id}}$$ $$\newcommand{\Span}{\mathrm{span}}$$

( \newcommand{\kernel}{\mathrm{null}\,}\) $$\newcommand{\range}{\mathrm{range}\,}$$

$$\newcommand{\RealPart}{\mathrm{Re}}$$ $$\newcommand{\ImaginaryPart}{\mathrm{Im}}$$

$$\newcommand{\Argument}{\mathrm{Arg}}$$ $$\newcommand{\norm}[1]{\| #1 \|}$$

$$\newcommand{\inner}[2]{\langle #1, #2 \rangle}$$

$$\newcommand{\Span}{\mathrm{span}}$$

$$\newcommand{\id}{\mathrm{id}}$$

$$\newcommand{\Span}{\mathrm{span}}$$

$$\newcommand{\kernel}{\mathrm{null}\,}$$

$$\newcommand{\range}{\mathrm{range}\,}$$

$$\newcommand{\RealPart}{\mathrm{Re}}$$

$$\newcommand{\ImaginaryPart}{\mathrm{Im}}$$

$$\newcommand{\Argument}{\mathrm{Arg}}$$

$$\newcommand{\norm}[1]{\| #1 \|}$$

$$\newcommand{\inner}[2]{\langle #1, #2 \rangle}$$

$$\newcommand{\Span}{\mathrm{span}}$$ $$\newcommand{\AA}{\unicode[.8,0]{x212B}}$$

$$\newcommand{\vectorA}[1]{\vec{#1}} % arrow$$

$$\newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow$$

$$\newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vectorC}[1]{\textbf{#1}}$$

$$\newcommand{\vectorD}[1]{\overrightarrow{#1}}$$

$$\newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}}$$

$$\newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}}$$

$$\newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}$$

$$\newcommand{\avec}{\mathbf a}$$ $$\newcommand{\bvec}{\mathbf b}$$ $$\newcommand{\cvec}{\mathbf c}$$ $$\newcommand{\dvec}{\mathbf d}$$ $$\newcommand{\dtil}{\widetilde{\mathbf d}}$$ $$\newcommand{\evec}{\mathbf e}$$ $$\newcommand{\fvec}{\mathbf f}$$ $$\newcommand{\nvec}{\mathbf n}$$ $$\newcommand{\pvec}{\mathbf p}$$ $$\newcommand{\qvec}{\mathbf q}$$ $$\newcommand{\svec}{\mathbf s}$$ $$\newcommand{\tvec}{\mathbf t}$$ $$\newcommand{\uvec}{\mathbf u}$$ $$\newcommand{\vvec}{\mathbf v}$$ $$\newcommand{\wvec}{\mathbf w}$$ $$\newcommand{\xvec}{\mathbf x}$$ $$\newcommand{\yvec}{\mathbf y}$$ $$\newcommand{\zvec}{\mathbf z}$$ $$\newcommand{\rvec}{\mathbf r}$$ $$\newcommand{\mvec}{\mathbf m}$$ $$\newcommand{\zerovec}{\mathbf 0}$$ $$\newcommand{\onevec}{\mathbf 1}$$ $$\newcommand{\real}{\mathbb R}$$ $$\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}$$ $$\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}$$ $$\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}$$ $$\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}$$ $$\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}$$ $$\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}$$ $$\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}$$ $$\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}$$ $$\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}$$ $$\newcommand{\laspan}[1]{\text{Span}\{#1\}}$$ $$\newcommand{\bcal}{\cal B}$$ $$\newcommand{\ccal}{\cal C}$$ $$\newcommand{\scal}{\cal S}$$ $$\newcommand{\wcal}{\cal W}$$ $$\newcommand{\ecal}{\cal E}$$ $$\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}$$ $$\newcommand{\gray}[1]{\color{gray}{#1}}$$ $$\newcommand{\lgray}[1]{\color{lightgray}{#1}}$$ $$\newcommand{\rank}{\operatorname{rank}}$$ $$\newcommand{\row}{\text{Row}}$$ $$\newcommand{\col}{\text{Col}}$$ $$\renewcommand{\row}{\text{Row}}$$ $$\newcommand{\nul}{\text{Nul}}$$ $$\newcommand{\var}{\text{Var}}$$ $$\newcommand{\corr}{\text{corr}}$$ $$\newcommand{\len}[1]{\left|#1\right|}$$ $$\newcommand{\bbar}{\overline{\bvec}}$$ $$\newcommand{\bhat}{\widehat{\bvec}}$$ $$\newcommand{\bperp}{\bvec^\perp}$$ $$\newcommand{\xhat}{\widehat{\xvec}}$$ $$\newcommand{\vhat}{\widehat{\vvec}}$$ $$\newcommand{\uhat}{\widehat{\uvec}}$$ $$\newcommand{\what}{\widehat{\wvec}}$$ $$\newcommand{\Sighat}{\widehat{\Sigma}}$$ $$\newcommand{\lt}{<}$$ $$\newcommand{\gt}{>}$$ $$\newcommand{\amp}{&}$$ $$\definecolor{fillinmathshade}{gray}{0.9}$$

Template:MathJaxZach

En la lógica de primer orden, las variables y los cuantificadores oscilan en un solo dominio. Pero a menudo es útil tener múltiples dominios (disjuntos): por ejemplo, es posible que desee tener un dominio de números, un dominio de objetos geométricos, un dominio de funciones de números a números, un dominio de grupos abelianos, etc.

La lógica de muchos ordenados proporciona este tipo de marco. Uno comienza con una lista de “clases” —la “especie” de un objeto indica el “dominio” en el que se supone que debe habitar. Luego se tienen variables y cuantificadores para cada ordenación, y (generalmente) un predicado de identidad para cada ordenación. Las funciones y relaciones también son “mecanografiadas” por el tipo de objetos que pueden tomar como argumentos. De lo contrario, se mantienen las reglas habituales de la lógica de primer orden, con versiones de las reglas del cuantificador repetidas para cada ordenación.

Por ejemplo, para estudiar las relaciones internacionales podríamos elegir un idioma con dos tipos de objetos, los ciudadanos franceses y los ciudadanos alemanes. Podríamos tener una relación unaria, “bebe vino”, para los objetos de primer tipo; otra relación unaria, “come wurst”, para los objetos de la segunda clase; y una relación binaria, “forma una pareja casada multinacional”, que toma dos argumentos, donde el primer argumento es del primer tipo y el segundo es de el segundo tipo. Si utilizamos variables$$a$$,$$b$$,$$c$$ para abarcar a los ciudadanos franceses y$$x$$,$$y$$,$$z$$ para abarcar a los ciudadanos alemanes, entonces$\lforall{a}{\lforall{}{} x}[(\Atom{\Obj{MarriedTo}}{a,x} \lif (\Atom{\Obj{DrinksWine}}{a} \lor \lnot \Atom{\Obj{EatsWurst}}{x})]]\nonumber$ afirma que si alguna persona francesa está casada con un alemán, o el francés bebe vino o el alemán no come wurst.

La lógica de muchos ordenados se puede incrustar en la lógica de primer orden de una manera natural, agrupando todos los objetos de los muchos dominios ordenados en un dominio de primer orden, usando símbolos de predicados unarios para realizar un seguimiento de las clases y relativizando cuantificadores. Por ejemplo, el lenguaje de primer orden correspondiente al ejemplo anterior tendría símbolos predicados unarios “$$\Obj{German}$$” y “$$\Obj{French}$$,” además de las demás relaciones descritas, con los requisitos de clasificación borrados. Un cuantificador ordenado$$\lforall{x}{A}$$, donde$$x$$ es una variable del tipo alemán, se traduce como$\lforall{x}{(\Atom{\Obj{German}}{x} \lif A)}.\nonumber$ Necesitamos agregar axiomas que aseguren que los tipos estén separados —por ejemplo,$$\lforall{x}{\lnot (\Atom{\Obj{German}}{x} \land \Atom{\Obj{French}}{x})}$$ —así como axiomas que garanticen que “bebe vino” solo sostiene de objetos que satisfacen el predicado$$\Atom{\Obj{French}}{x}$$, etc. Con estas convenciones y axiomas, no es difícil demostrar que muchas oraciones ordenadas se traducen en oraciones de primer orden, y muchas derivaciones ordenadas se traducen en derivaciones de primer orden. Además, muchas estructuras ordenadas “se traducen” a estructuras de primer orden correspondientes y viceversa, por lo que también tenemos un teorema de integridad para la lógica de muchos ordenados.

This page titled 11.2: Lógica de muchos ordenados is shared under a CC BY license and was authored, remixed, and/or curated by Richard Zach et al. (Open Logic Project) .