Razonamiento numérico

Lógica Proposicional Bivalente Volver al temario Seguir a Ejercicios resueltos de reglas de inferencia Reglas de inferencia. Introducción a las Reglas de Inferencia En lógica proposicional, las reglas de inferencia son los principios que permiten deducir conclusiones válidas a partir de premisas dadas. Estas reglas son fundamentales para construir argumentos lógicos correctos y garantizar que las inferencias realizadas sean válidas. Las re...

Lógica Proposicional Bivalente Volver al temario Otras leyes de lógica proposicional Leyes de la lógica proposicional. Las leyes lógicas son principios fundamentales que regulan el comportamiento de las proposiciones dentro del ámbito de la lógica formal. Estas leyes permiten manipular, simplificar y establecer equivalencias entre expresiones lógicas. Al comprender y aplicar estas leyes, es posible analizar y resolver problemas lógicos de ma...

Lógica Proposicional Bivalente Volver al temario Seguir a Implicación y equivalencia lógicas Tautología, contradicción y contingencia. Lógica Proposicional Bivalente Lógica Proposicional Bivalente Definición 1.9 : Tautología Una tautología es una proposición cuyos valores lógicos finales son todos uno. Ejemplo : \( p \rightarrow (p \vee q) \) es una tautología, como ya vi...

Lógica Proposicional Bivalente Definición 1.9 : Tautología Una tautología es una proposición cuyos valores lógicos finales son todos uno. Ejemplo : \( p \rightarrow (p \vee q) \) es una tautología, como ya vimos anteriormente, porque todos sus valores lógicos finales son uno, lo que implica que \( p \rightarrow (p \vee q) \) es siempre cierto. Para indicar que \( p \rightarrow (p \vee q) \) es una tautología, escribimos \( p \implies (p \vee q) \), donde \( \implies \) es la implicación lógica. Definición 1.10 : Contradicción Una contradicción es una proposición cuyo valor lógico final es cero en todos los casos. Ejemplo : La proposición \( p \underline{\vee} q \leftrightarrow (p \leftrightarrow q) \) es una contradicción, ya que su tabla de verdad es la siguiente: \( p \) \( \underline{\vee} \) \( q \) \( \leftrightarro...

Lógica Proposicional Bivalente Volver al temario Seguir a tautología, contradicción y contingencia Tablas de verdad. Lógica Proposicional Bivalente Tabla de Contenido con Imagen Tablas de verdad Como vimos anteriormente, las tablas de verdad son una distribución de los valores lógicos de los conectivos lógicos . Para tener en claro los valores lógicos de las pro...

Lógica Proposicional Bivalente Tablas de verdad Como vimos anteriormente, las tablas de verdad son una distribución de los valores lógicos de los conectivos lógicos . Para tener en claro los valores lógicos de las proposiciones compuestas complejas, debemos conocer el rango de las operaciones de los conectivos lógicos . Los numeraremos del 1 al 5, siendo el 1 el mayor rango y el 5 el menor. Tabla de los conectivos lógicos Nombre Conectivo Rango Bicondicional \(\leftrightarrow\) 1 Disyunción Exclusiva \(\underline{\vee}\) 2 Condicional \(\rightarrow\) 3 Conjunción ...

Volver al temario Seguir a tablas de verdad Conectivos lógicos: Disyunción exclusiva. Lógica Proposicional Bivalente Tabla de Contenido con Imagen Definición 1.8 : Disyunción Exclusiva: Dadas las proposiciones \( p \) y \( q \), la disyunción exclusiva de \( p \) con \( q \) es la proposición \( p \underline{\vee} q \), que se lee "o p o q". Esto significa que p o...

Volver al temario Seguir a conectivos lógicos: Disyunción exclusiva Conectivos lógicos: Bicondicional. Lógica Proposicional Bivalente Tabla de Contenido con Imagen Definición 1.7 : Bicondicional Dadas las proposiciones \( p \) y \( q \), el bicondicional de \( p \) con \( q \) es la proposición \( p \leftrightarrow q \), que se lee "p si y solo si q". La tabla de...