Entre as opções abaixo, qual exemplifica uma contradição formal?
A
Sócrates não existiu ou Sócrates existiu.
B
Sócrates era ateniense ou Sócrates era espartano.
C
Todo filósofo era ateniense e todo ateniense era filósofo.
D
Todo filósofo era ateniense ou todo ateniense era filósofo.
E
Todo filósofo era ateniense e algum filósofo era espartano.