OPERADORES LÓGICOS

Regla o norma

Nombre de operador

Símbolo que lo representa

La negación de cualquier proposición p será falsa cuando se niegue una proposición verdadera y será verdadera cuando se niegue una proposición falsa.

~p

Negación

Si la negación de cualquier proposición p verdadera es falsa, entonces cuando se vuelve a negar será nuevamente verdadera y si la negación de una proposisción falsa es verdadera, al volver a negar será falsa de nuevo.

~(~p)

Doble negación

Si p y q representan dos proposiciones simples, entonces la proposición compuesta p^q, solo será verdadera cuando las dos proposiciones lo sean.

p∧q

Conjunción

Si p y q representan dos proposiciones simples, entonces la proposición compuesta p V q solo será falsa cuando las dos proposiciones lo sean.

p∨q

Disyunción Inclusiva

Si p y q representan dos proposiciones simples, entonces la proposición compuesta p⌖q solo será falsa cuando las dos proposiciones tuvieren el mismo valor de verdad, se tiene que elegir cualquiera de las disyuntivas pero no ambas.

p⊕q

Disyunción Exclusiva

Si p y q representan dos proposiciones simples, entonces la proposición compuesta p=>q, solo cuando p, llamado antecedente o hipótesis, sea verdadero y q, llamado consecuente o conclusión , sea falso.

p→q

Condicional o Implicación

Si p y q dos proposiciones simples, entonces la proposición compuesta p<=>q, solo será verdadera cuando ambas porposiciones tengan el mismo valor de verdad.

p↔q

Bicondicional o equivalencia