Правильные и неправильные рассуждения

Обозначим через Х, У, Z множества, состоящие соответственно из элементов х, у, z. Тогда «все х являются у» означает , «ни одно х не является z» - , «все у не являются z» - .

Покажем с помощью кругов Эйлера, что рассуждение неправильно.

На рисунке оба условия  и  выполняются, а заключение - нет. Следовательно, оно не вытекает из этих условий.