Eu Mesmo
12/03/2018 • 10:56
A primeira e a terceira são duas implicações que não entram em contradição, logo a segunda precisa ser falsa. Negando a negação, temos "João é carioca".