Olá! Faz uns anos que não posto aqui, hehe. Estou encarando o Introduction to Logic, do Patrick Suppes (pdf: http://tinyurl.com/oyytpee). E na página 113 do livro (131 do pdf), 5ª questão, se pede o seguinte: Com base nos três seguintes axiomas, prove o teorema \exists y\forall x (x \oplus y = x...