Saltar al contenido principal

4: Lógica

$$\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}}}$$

• 4.1: Lógica booleana
A menudo podemos clasificar artículos como pertenecientes a conjuntos. Si fueras a la biblioteca a buscar un libro y te pidieran que expresaras tu búsqueda usando uniones, intersecciones y complementos de conjuntos, eso se sentiría un poco extraño. En cambio, normalmente usamos palabras como “y”, “o” y “no” para conectar nuestras palabras clave para formar una búsqueda. Estas palabras, que forman la base de la lógica booleana, están directamente relacionadas con nuestras operaciones establecidas.
• 4.2: Condicionales
• 4.3: Tablas de la Verdad
Debido a que las declaraciones booleanas complejas pueden llegar a ser difíciles de pensar, podemos crear una tabla de verdad para hacer un seguimiento de qué valores de verdad para las declaraciones simples hacen que la declaración compleja sea verdadera y falsa. Una tabla de verdad muestra cuál es el valor de verdad resultante de una declaración compleja para todos los posibles valores de verdad para declaraciones simples.
• 4.4: Argumentos
Un argumento lógico es una afirmación de que un conjunto de premisas sustentan una conclusión. Existen dos tipos generales de argumentos: inductivos y deductivos. Un argumento inductivo utiliza como premisas una colección de ejemplos específicos y los utiliza para proponer una conclusión general. Un argumento deductivo utiliza como premisas una colección de declaraciones generales y las utiliza para proponer una situación específica como conclusión.
• 4.5: Falacias lógicas en el lenguaje común
En la discusión anterior, vimos que los argumentos lógicos pueden ser inválidos cuando las premisas no son verdaderas, cuando las premisas no son suficientes para garantizar la conclusión, o cuando hay cadenas inválidas en la lógica. Hay una serie de otras formas en las que los argumentos pueden ser inválidos, una muestra de las cuales se da aquí.
• 4.6: Ejercicios
Esta página contiene 17 problemas de ejercicio relacionados con el material del Capítulo 4.

Miniaturas: La lógica es el arte de combinar argumentos más pequeños (premisas) en un argumento más grande, no muy diferente de un rompecabezas. (Licencia Pixabay; PIRO vía Pixabay)

This page titled 4: Lógica is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by Darlene Diaz (ASCCC Open Educational Resources Initiative) via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.