Vamos a definir el dual de cualquier operador P("p", "q", ...) en función de las proposiciones elementales "p", "q", ...