Lógica Avançada: Cálculo de predicados. Condicional+Quantificadores.Ex2

Para ir pensando como se escreve : Ninguém é um político? Solução será postada em breve.