Saltar al contenido principal
LibreTexts Español

11.4: Lógica Sentencial

  • Page ID
    101922
  • \( \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}\)

    Cuando creamos formas lógicas para argumentos, en algún momento abreviamos cláusulas u oraciones simples con palabras o solo letras mayúsculas. Si siempre usáramos mayúsculas y siempre usáramos los siguientes símbolos especiales para las frases conectivas, como “o” y “y”, entonces estaríamos expresando formas lógicas en el lenguaje de la Lógica Sentencial. Lógica Sentencial también se llama Lógica de Declaración y Lógica Proposicional. El símbolo conectivo 'v' abrevia la palabra conectiva inglesa 'o' que se utiliza para unir dos oraciones con el fin de construir una oración más larga. Del mismo modo, el símbolo '&' reemplaza la palabra conjuntiva inglesa “y” que también construye oraciones más grandes a partir de oraciones más pequeñas. El símbolo '~' representa la negación o la frase “No es cierto que...” que se puede agregar al frente de una oración para producir su negación. La flecha '→' representa 'sif-then.'

    Aquí hay una lista de los símbolos conectivos de la Lógica Sentencial con las frases en inglés que reemplazan. Usaremos los símbolos con dos frases simples A y B:

    ~A No-A (no es cierto que A)
    A v B A o B (ya sea A o B o ambos)
    A y B A y B (A pero B)
    A → B si A entonces B (B si A) (A solo si B)
    A ↔ B A si y solo si B (A solo en el caso B)

    Existen reglas gramaticales para formar oraciones formales bien formadas de mayor y mayor complejidad. Para nuestro vocabulario de oraciones formales básicas utilizamos las letras mayúsculas de la A a la O en el alfabeto (y quizás estas mayúsculas con subíndices numéricos si necesitamos oraciones más básicas). Entonces las oraciones complejas se construyen a partir de estas oraciones aplicando los conectivos, de acuerdo con las siguientes reglas gramaticales:

    Si P y Q son variables que representan cualquier oración simbólica, por compleja que sea, entonces ~P es una oración bien formada, y también lo es (P v Q), y (P & Q) y (P → Q) y (P ↔ Q).

    'P' y 'Q' pueden representar o abreviar cualquier oración declarativa como A, o A & (B → A), o lo que sea. Las oraciones formales pueden ser tan complicadas como queramos, pero su longitud debe ser finita.

    Estas reglas gramaticales implican que la compleja secuencia de símbolos ((A & B) → C) está bien formada, pero (A & B → C) no lo está. Por cierto, solemos caer el par de paréntesis más exterior (pero solo esos) al escribir oraciones bien formadas. Por ejemplo, (A & B) → C) es la misma oración que (A & B) → C.

    Ejercicio\(\PageIndex{1}\)

    ¿Esta cadena de símbolos está bien formada gramaticalmente? (E v F y G)

    Contestar

    No, no se puede construir aplicando las reglas gramaticales a oraciones básicas. Sin embargo, las siguientes dos oraciones están bien formadas: E v (F & G), y (E v G) & G


    This page titled 11.4: Lógica Sentencial is shared under a CC BY-NC-SA license and was authored, remixed, and/or curated by Bradley H. Dowden.