O documento discute três tipos básicos de antonímia - binária, inversa e gradativa - e explica como a contradição pode ocorrer entre palavras antônimas ou sentenças através da negação, propriedades semânticas ou quantificadores. A antonímia nem sempre implica contradição quando palavras são usadas em diferentes contextos.