Entre as opções abaixo, qual exemplifica uma contradição...

Sócrates não existiu ou Sócrates existiu.

Sócrates era ateniense ou Sócrates era espartano.

Todo filósofo era ateniense e todo ateniense era filósofo.

Todo filósofo era ateniense ou todo ateniense era filósofo.

Todo filósofo era ateniense e algum filósofo era espartano.