Противоречие (A — O, E — I)

Если одно суждение из пары ложно — второе истинно. Если одно суждение из пары истинно — второе ложно.

Возьмём, например, суждение A: «Все врачи пьют кровь» и суждение O: «Некоторые врачи не пьют кровь».

Если хоть один врач не пьёт кровь, суждение «все врачи пьют кровь» — ложно.

Если суждение «некоторые врачи не пьют кровь» ложно, истинно суждение «все врачи пьют кровь».

Если «все врачи пьют кровь», значит второе суждение ложно — ни одного непьющего не существует.

Если суждение «все врачи пьют кровь ложно», следовательно, существуют непьющие кровь врачи.