En lógica proposicional, la conmutación se encuentra en algunas reglas de sustitución: