Se ~ A → B e B → ~ C então é verdade que:
Olá, para continuar, precisamos criar uma conta! É rápido e grátis.
