Modus Tollens: P → G, ¬G ¬P

Se P, então G.
Não G.
Então, não P.

Ou seja, e conforme a uma das regras fundamentais da lógica:

Se PPC, então existe GOVERNO.
Não existe GOVERNO.
Então, não existe PPC.

Q.E.D.