{B(x), B(y)}
{B(g(y)), B(y)}
{¬ A(x), A(g(x))}
{¬ A(x), A(g(x)), B(x)}
{ A(x), B(x), A(g(y)), B(y)}
Navegue em mais questões
{TITLE}
{CONTENT}