"Pa" y "¬¬Pa" afirman la realización de "Pa", "¬Pa" afirma la no realización de "Pa".