Saltar al contenido principal
LibreTexts Español

5.5: Operador principal de una Fórmula

  1. Última actualización
  2. Guardar como PDF
  • Page ID
    103711

    • \( \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

    A menudo es útil hablar sobre el último operador utilizado en la construcción de una fórmula\(A\). Este operador se llama el operador principal de\(A\). Intuitivamente, es el operador “más exterior” de\(A\). Por ejemplo, el operador principal de\(\lnot A\) is\(\lnot\), el operador principal de\((A \lor B)\) is\(\lor\), etc.

    Definición\(\PageIndex{1}\): Main operator

    El operador principal de una fórmula\(A\) se define de la siguiente manera:

    1. \(\indcaseA{A}{A}\)\(\indfrm\)no tiene operador principal.

    2. \(\indcase{A}{\lnot B}\)el operador principal de\(\indfrm\) es\(\lnot\).

    3. \(\indcase{A}{(B \land C)}\)el operador principal de\(\indfrm\) es\(\land\).

    4. \(\indcase{A}{(B \lor C)}\)el operador principal de\(\indfrm\) es\(\lor\).

    5. \(\indcase{A}{(B \lif C)}\)el operador principal de\(\indfrm\) es\(\lif\).

    6. \(\indcase{A}{\lforall{x}{B}}\)el operador principal de\(\indfrm\) es\(\lforall{}{}\).

    7. \(\indcase{A}{\lexists{x}{B}}\)el operador principal de\(\indfrm\) es\(\lexists{}{}\).

    En cada caso, pretendemos la ocurrencia específica indicada del operador principal en la fórmula. Por ejemplo, dado que la fórmula\(((D \lif E) \lif (E \lif D))\) es de la forma\((B \lif C)\) donde\(B\) es\((D \lif E)\) y\(C\) es\((E \lif D)\), la segunda ocurrencia de\(\lif\) es el operador principal.

    Esta es una definición recursiva de una función que mapea todas las fórmulas no atómicas a su ocurrencia de operador principal. Debido a la forma en que las fórmulas se definen inductivamente, cada fórmula\(A\) satisface uno de los casos en Definición\(\PageIndex{1}\). Esto garantiza que para cada fórmula no atómica existe\(A\) un operador principal. Debido a que cada fórmula satisface solo una de estas condiciones, y debido a que las fórmulas más pequeñas a partir de las cuales\(A\) se construye se determinan de manera única en cada caso, la ocurrencia del operador principal de\(A\) es única, por lo que hemos definido una función.

    Llamamos a las fórmulas por los siguientes nombres dependiendo de qué símbolo sea su operador principal:

    Operador principal Tipo de fórmula Ejemplo
    ninguno atomic (fórmula) \(\lfalse\),\(\Atom{R}{t_1, \dots, t_n}\),\(\eq[t_1][t_2]\)
    \(\lnot\) negación \(\lnot A\)
    \(\land\) conjunción \((A \land B\))
    \(\lor\) disyunción \((A \lor B\))
    \(\lif\) condicional \((A \lif B\))
    \(\lforall{}{}\) universal (fórmula) \(\lforall{x}{A}\)
    \(\lexists{}{}\) existencial (fórmula) \(\lexists{x}{A}\)

    This page titled 5.5: Operador principal de una Fórmula is shared under a CC BY license and was authored, remixed, and/or curated by Richard Zach et al. (Open Logic Project) .