Conectivos Lógicos Y Tablas De Verdad Ejercicios Resueltos

Los conectivos lógicos son símbolos que se utilizan para conectar dos o más proposiciones, formando así proposiciones compuestas. Estas proposiciones compuestas tendrán un valor de verdad (verdadero o falso) que depende del valor de verdad de las proposiciones originales y del conectivo lógico utilizado. Se usan fundamentalmente en lógica proposicional, circuitos electrónicos y programación.

Principales Conectivos Lógicos

• Conjunción (∧): Representa "y". p ∧ q es verdadero sólo si p y q son verdaderas.
• Disyunción (∨): Representa "o". p ∨ q es verdadero si p es verdadera, q es verdadera, o ambas.
• Negación (¬): Representa "no". ¬p es verdadero si p es falso, y viceversa.
• Condicional (→): Representa "si... entonces...". p → q es falso sólo si p es verdadera y q es falsa.
• Bicondicional (↔): Representa "si y sólo si". p ↔ q es verdadero si p y q tienen el mismo valor de verdad (ambas verdaderas o ambas falsas).

Tablas de Verdad: Ejemplos Resueltos

Las tablas de verdad muestran todas las posibles combinaciones de valores de verdad de las proposiciones simples y el valor de verdad resultante de la proposición compuesta.

Ejemplo 1: Conjunción (p ∧ q)

• p = Verdadero, q = Verdadero -> p ∧ q = Verdadero
• p = Verdadero, q = Falso -> p ∧ q = Falso
• p = Falso, q = Verdadero -> p ∧ q = Falso
• p = Falso, q = Falso -> p ∧ q = Falso

Ejemplo 2: Disyunción (p ∨ q)

• p = Verdadero, q = Verdadero -> p ∨ q = Verdadero
• p = Verdadero, q = Falso -> p ∨ q = Verdadero
• p = Falso, q = Verdadero -> p ∨ q = Verdadero
• p = Falso, q = Falso -> p ∨ q = Falso

Ejemplo 3: Condicional (p → q)

• p = Verdadero, q = Verdadero -> p → q = Verdadero
• p = Verdadero, q = Falso -> p → q = Falso
• p = Falso, q = Verdadero -> p → q = Verdadero
• p = Falso, q = Falso -> p → q = Verdadero

Para proposiciones más complejas, se construye la tabla de verdad paso a paso, evaluando cada conectivo lógico por separado. Recuerda que comprender las tablas de verdad es crucial para determinar la validez de argumentos lógicos y simplificar expresiones booleanas.