6.002 Si es dada la forma general de cómo una proposición es construida, entonces es dada ya con ello también la forma general de cómo a partir de una proposición puede ser producida otra mediante una operación.