La inversión permite por ejemplo una inferencia admitida por la lógica tradicional como: