07/10/2017 00h14

Não, para provar isso é só usarmos a prova por absurdo.

P: Quietinhas e

Santinhas
Q: Piores na hora H

Assumindo Verdade para todo P e Q:

P -> Q
Todas quietinhas e santinhas são piores na hora H

~P -> Q
Nem todas quietinhas e santinhas são piores na hora H

P -> ~Q
Todas quietinhas e santinhas não são piores na hora H

~P-> ~Q
Nem todas quietinhas e santinhas, não são piores na hora H