Saltar al contenido principal
Library homepage
 
LibreTexts Español

11.6: Glosario

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

    antecedente La si-parte de un condicional.

    condicional Una declaración sif-then.

    consecuente La entonces parte de un condicional.

    contradictorio Una inconsistencia lógica entre dos afirmaciones en las que una debe ser verdadera mientras que la otra es falsa.

    contrario Una inconsistencia lógica entre dos declaraciones cuando ambas podrían ser simultáneamente falsas.

    falacia de afirmar lo consecuente Un argumento deductivo de la forma “Si P entonces Q; Q; entonces, P.”

    falacia de negar el antecedente Un argumento deductivo de la forma “Si P entonces Q; no-P; entonces no-Q”.

    forma lógica de una contradicción La forma de declaración “P y no-P”.

    lógicamente análogo Tener la misma forma lógica.

    lógicamente equivalentes Lógicamente implicándose entre sí. Alternativamente, podemos decir que dos afirmaciones son lógicamente equivalentes si son verdaderas en las mismas situaciones y falsas en las mismas situaciones.

    modus ponens Un argumento deductivo de la forma “Si P entonces Q; P; entonces Q.”

    modus tollens Un argumento deductivo de la forma “Si P entonces Q; no-Q; entonces no-P”.

    negación La negación de la declaración P es una declaración de la forma “no-P” que es verdadera cuando P es falsa y que es falsa cuando P es verdadera.

    Lógica Sentencial La rama de la lógica que se centra en cómo se componen las formas lógicas de oraciones y argumentos complejos a partir de las formas lógicas de sus suboraciones o cláusulas. Las cláusulas estarán conectadas por uno de los siguientes conectores de oraciones o sus sinónimos: y, o, no, o sif-entonces. Lógica Sentencial también se llama Lógica Proposicional y Lógica de Declaración.


    This page titled 11.6: Glosario is shared under a CC BY-NC-SA license and was authored, remixed, and/or curated by Bradley H. Dowden.