Estos corresponden a las posibles opciones conectivos lógicos binarios para la lógica clásica.