CONECTIVAS LÓGICAS

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)