En la lógica proposicional estándar, la "asociación", o "asociatividad" son dos reglas de reemplazo válidas.