Si este fuera el caso, tendríamos que admitir que las proposiciones "Pa" y "¬¬Pa" no son equivalentes.