Conectores Lógicos
Los conectores lógicos, también conocidos como operadores, son símbolos o palabras que permiten combinar proposiciones para formar nuevas. Los conectivos más comunes en lógica proposicional son: negación, conjunción, disyunción, implicación y bicondicional, cada uno con un símbolo específico.
- Conjunción (Y): Representada por el símbolo ∧, indica que la proposición combinada es verdadera solo si ambas proposiciones son verdaderas. Ejemplo: P ∧ Q.
- Disyunción (O): Usada con el símbolo ∨, significa que la proposición es verdadera si al menos una de las proposiciones es verdadera. Ejemplo: P ∨ Q.
- Negación (NO): Se simboliza como ¬ y cambia el valor de verdad de una proposición. Si la proposición es verdadera, su negación será falsa, y viceversa. Ejemplo: ¬P.
- Implicación (Si... Entonces): Representada por →, muestra que si una proposición (P) es verdadera, la otra (Q) también debe serlo para que la implicación sea verdadera. Es falsa solo cuando P es verdadera y Q es falsa. Ejemplo: P → Q.
- Bicondicional (Si y Sólo Si): Usado con ↔, establece que ambas proposiciones deben tener el mismo valor de verdad para que la proposición sea verdadera. Es verdadera si ambas son verdaderas o ambas son falsas. Ejemplo: P ↔ Q.