Conectivos Lógicos

Conectivos Lógicos

Hoy vimos los conectivos lógicos que a partir de proposiciones simples es posible generar otras, simples o compuestas. Es decir que se puede operar con proposiciones y para ello se utilizan estos conectivos.

• Negación: Dada una proposición "p", se denomina la negación de "p" a otra proposición ~p (se lee "no p") que le asigna el valor de verdad opuesta al de "p".

• Conjunción: Dadas dos proposiciones "p" y "q", se denomina conjunción de estas proposiciones a la proposición p^q (se lee "p" y q").

• Disyunción: Dadas dos proposiciones "p" y "q", la disyunción de estas proposiciones es la proposición pVq (se lee "p" o q").

• Condicional: La condicional de las proposiciones "p" y "q" es la proposición p⇒q (se lee "Si p entonces q").

• Bicondicional: La bicondicional de las proposiciones "p" y "q" es la proposición p⇔q (se lee "p si y solo si q").