Универсум – множество людей.
Предикаты:
D(x)D(x)$$D(x) – человек; xx$$x – лентяй.
F(x)F(x)$$F(x) – человек; xx$$x – оптимист.
A(x)A(x)$$A(x) – человек; xx$$x – жизнелюб.
Выберите правильный перевод на язык логики предикатов.
«Некоторые лентяи не оптимисты, но жизнелюбы»