En la lógica proposicional, las conectivas lógicas se tratan como funciones de verdad.