Los operadores lógicos son usualmente operadores truth-functional (formula_1).