Conectivos L1gicos

Apuntes

• Subtema: Conectivos Lógicos Los conectivos lógicos son fundamentales en la lógica proposicional, ya que permiten combinar o modificar proposiciones para formar expresiones más complejas. A continuación se presentan los conectivos más comunes, junto con sus símbolos y ejemplos de verdad. • Subtema: Conectivos y sus símbolos - **Conjunción**: Representada por "y" (∧). La conjunción es verdadera solo si ambas proposiciones son verdaderas. Por ejemplo, V ∧ F = V. - **Disyunción**: Representada por "o" (∨). La disyunción es falsa solo si ambas proposiciones son falsas. Por ejemplo, F ∨ F = F. - **Condicional**: Representado por "entonces" (→). El condicional es falso solo si la primera proposición es verdadera y la segunda es falsa. Por ejemplo, V → F = F. - **Bicondicional**: Representado por "si y solo si" (↔). El bicondicional es verdadero si ambas proposiciones tienen el mismo valor de verdad. Por ejemplo, V ↔ V = V. - **Diferencia**: Representada por "o...o" (△). La diferencia es falsa solo si ambas proposiciones son falsas. Por ejemplo, F △ F = F. - **Simétrica**: Este término se refiere a la propiedad de algunos conectivos, pero no se proporciona un símbolo específico e...