Las conectivas lógicas con los signos que unen diferentes proposiciones dentro de una proposición compuesta.
Tipos de conectivas lógicas:
Las conectivas lógicas puedes ser:
1.- La conjunción (˄)
2.- La disyunción (˅)
3.- Implicación o condicional (⇒)
4.- Equivalencia o bicondicional (⇔)
5.- Negación (¬, Ā)
6.- Signos de agrupación
1.- La conjunción
Esta simboliza por la letra “y” o “˄” y representa la aseveración simultanea de las proposiciones unidas por el símbolo. Es decir, si la proposición compuesta es verdadera, las dos proposiciones simples tienen que ser verdaderas.
Ejemplo: “Los británicos se encontraban en las puertas de Hamburgo y de Bremen”
Ejemplo: a ˄ b
2.- La disyunción
La disyunción se simboliza con la letra “o” o “˅” y representa la afirmación de una u otra proposición por separado. Es decir, si la proposición compuesta es verdadera, alguna de sus proposiciones simples podría ser falsa.
Ejemplo: “Las abreviaciones son útiles o no son útiles”
Ejemplo: “p ˅ q”
3.- Implicación o condicional
La implicación o condicional se simboliza por “si, entonces” o “⇒” y representa una afirmación dependiendo de la afirmación de otra.
Ejemplo: “Si llegas temprano, entonces vamos al cine”
Ejemplo: “c ⇒ b”
4.- Equivalencia o bicondicional (⇔)
La equivalencia o bicondicional simboliza la condición “si y solo si” y representa la afirmación de algo solo si ocurre otra afirmación.
Ejemplo: “Vamos al cine, si y solo si te dan permiso”
Ejemplo: “c ⇔ b”
5.- Negación
La negación se representa por la palabra “no” o por varios símbolos como “¬, Ā” y representa el opuesto de una proposición.
Ejemplo: Afirmación: “Rodo es una mascota” (A)
Negación: “Rodo no es una mascota”
Negación (Ā) o (¬A)
6.- Signos de agrupación
Los signos de agrupación representan la agrupación de proposiciones que son afectadas por un símbolo conectivo. Estos pueden ser: paréntesis ( ), corchetes [ ] o llaves { }.
Ejemplo: Afirmaciones: La noche es oscura y el día es claro. (a ^ b)
Negación: La noche no es oscura y el día no es claro. ¬ (a ^ b)