Clasificación de Fórmulas y Equivalencias
En lógica proposicional tenemos un orden de precedencia específico: primero la negación, luego los paréntesis, después conjunción y NAND, seguidos de disyunción y NOR, y finalmente condicional y bicondicional.
Las fórmulas se clasifican en tres tipos cruciales: tautologías (siempre verdaderas), contradicciones (siempre falsas) y contingencias (a veces verdaderas, a veces falsas). Esta clasificación es esencial para resolver problemas.
La equivalencia lógica te permite simplificar expresiones complejas. Dos fórmulas son equivalentes cuando su bicondicional es una tautología. El contrarrecíproco de una condicional (¬B → ¬A) es siempre lógicamente equivalente a la condicional original (A → B).
Para el examen: Practica identificando tautologías y contradicciones usando tablas de verdad. Es una pregunta casi garantizada.