CONECTORES LÓGICOS

CONECTORES LÓGICOS

• Los conectores lógicos matemáticos son símbolos u operadores (como ) utilizados para enlazar proposiciones simples y formar enunciados compuestos, determinando su valor de verdad. Son fundamentales en lógica proposicional para construir tablas de verdad, establecer argumentos válidos y definir teoremas.
• Negación (o ): Invierte el valor de verdad ("no").
• Conjunción ("v" invertida"v" invertida): Es verdadera solo si ambas proposiciones son verdaderas ("y")
• Disyunción (V): Es verdadera si al menos una proposición es verdadera ("o")
• Implicación o Condicional ( o ): Falsa solo si el antecedente es verdadero y el consecuente falso ("si... entonces")
• Bicondicional o Doble implicación (o ): Verdadera si ambas proposiciones tienen el mismo valor de verdad ("si y solo si")
• Disyunción exclusiva (o ): Verdadera si una, y solo una, de las expresiones es verdadera ("o... o...")