Conectivos lógicos

Los conectivos lógicos son aquellos símbolos que nos ayudan a operar las proposiciones.

ü  Negación: Dada una proposición p, su negación se denomina ~p y se lee “no p”.

ü  Conjunción: dadas dos proposiciones p y q, se denomina conjunción a la proposición p^q y se lee “p y q”.

ü  Disyunción: dadas dos proposiciones p y q, se denomina  pvq y se lee “p o q”.

ü  Condicional: dadas dos proposiciones p y q, se denomina p ⇒ q y se lee “si p entonces q”.

ü  Bicondicional: dadas dos proposiciones p y q, se denomina p ⇔ q y se lee “p si y solo si q”.