Ответ:
Отрицание общего утвердительного высказывания «Все A — B» имеет вид «Некоторые A не являются B», а отрицание частного утвердительного «Некоторые A — B» — «Ни один A не является B». Для высказываний с отрицанием отрицание меняет его на утверждение.
- Общее утвердительное. Отрицание: Некоторые врачи не являются хирургами.
- Частное утвердительное. Отрицание: Ни один музыкант не является виолончелистом.
- Частное утвердительное. Отрицание: Ни одна ящерица не имеет крыльев.
- Частное утвердительное. Отрицание: Нет яблонь, на которых растут груши.
- Частное утвердительное. Отрицание: Вода никогда не бывает твёрдой.
- Частное отрицательное («Не все металлы тонут» равносильно «Некоторые металлы не тонут»). Отрицание: Все металлы тонут в воде.
- Общее утвердительное. Отрицание: В Антарктиде не растут банановые пальмы.
- Общее утвердительное. Отрицание: Некоторые люди не умеют кататься на коньках.
Каждое исходное высказывание и его отрицание образуют дополнения друг к другу: одно из них истинно, другое ложно. По закону исключённого третьего третьего варианта нет.
