Тьма близко

– Итак, мы определили, что суждение – это форма мышления, в которой что-либо утверждается или отрицается, а умозаключение – это форма мышления, в которой из двух или нескольких суждений вытекает новое суждение, называемое заключением или выводом. Обсудим пример. Суждение номер один: «Ни один офицер не откажется протанцевать с дамой». Суждение номер два: «Ни одна утка не танцует». Оба суждения истинны. Какое умозаключение из них следует?
«О чём вообще речь? – удивилась Соня. – Какие-то утки, офицеры… Что происходит?»
Слушатели при этом выглядели очень серьёзными и сосредоточенными.
– Ни один офицер не является уткой, – подал голос кто-то с первых рядов.
Соня, не сдержавшись, прыснула. Соседи посмотрели на неё неодобрительно, а преподаватель бросил задумчивый взгляд на галёрку. Серьёзно? Ну глупость же полнейшая.
– Или ни одна утка – не офицер, – сказал кто-то ещё.
– Совершенно верно. Оба вывода истинны, – согласился преподаватель.