Implicación, Equivalencia y Negación
La implicación (Si...entonces) establece una relación condicional entre proposiciones. Se representa como p → q, donde p es el antecedente y q es el consecuente. La implicación es falsa solo cuando el antecedente es verdadero y el consecuente es falso.
La equivalencia (Si y solo si) se simboliza como p ↔ q. Indica que cada proposición implica a la otra. Es verdadera cuando ambas proposiciones tienen el mismo valor de verdad (ambas verdaderas o ambas falsas).
La negación se aplica a una sola proposición y cambia su valor de verdad. Se representa como ¬p.
Las funciones proposicionales contienen variables que, al ser sustituidas por elementos de un conjunto, forman proposiciones. Se representan con letras mayúsculas, como P(x) = "x = 3".
🔍 Importante: Los cuantificadores indican la cantidad de elementos que cumplen una proposición, transformando funciones proposicionales en afirmaciones concretas.