«Какая математика нужна информатикам?», ч.2

[nuclight]

Окончание статьи - начало здесь.

5. Другие курсы логического цикла

Comments

[justbulat]

>Значит, некоторые цыплята знают французский язык.

ошибочный вывод. "некоторые" в русском языке означает "1 или более"

[nuclight]

Ну да, значит. И вывод правильный, нет ошибки.

[justbulat]

если у нас есть два животных:
цыплёнок-кошка-не знает французский
не цыплёнок-кошка-знает французский

то первые два утверждения будут истинны, а второе ложно

[nuclight]

>не цыплёнок-кошка-знает французский

Такой вариант запрещен, поскольку кошки по условию - подмножество цыплят.

[nealar]

Замечательная статья!