Логика:
Утверждение «Все кошки серые» означает, что для любой кошки верно, что она серая. Отрицание этого утверждения будет означать, что есть хотя бы одна кошка, которая не серая.
- «Все кошки не серые» — это слишком сильное утверждение, оно отрицает, что есть хоть одна серая кошка.
- «Некоторые кошки не серые» — это верное отрицание. Если не все кошки серые, значит, существуют такие, которые не серые.
- «Ни одна кошка не серая» — это тоже слишком сильное утверждение, оно отрицает существование серых кошек.
- «Только одна кошка серая» — это частный случай, а отрицание должно охватывать все случаи, когда исходное утверждение ложно.
Правильный вариант: «Некоторые кошки не серые»