Na lógica proposicional, um conectivo é: