Из учебника "Прикладная логика" Н.Н.Непейводы.
UPD скачала учебник. Случайно наткнулась на фамилии вымышленных студентов, которые автор использует в формулировках примеров и задач. Посмотрела на разницу между фамилиями студентов и студенток. Автор — сука.