1) Все моряки боятся пиратов;
2) Всякий орел умеет летать;
3) Некоторые свиньи не умеют летать;

Универсум: М= {моряки\люди}, предикаты: A(x) - моряки, B(x) - боязнь пиратов. ∀x (А(х)⊃В(х))Универсум: М={орлы}, предикаты D(y)- орёл, E(y)- умение летать. ∀y (D(y)⊃E(y))Универсум: M = {свиньи), предикаты: F(z)- свиньи, G(z) -  навык полета ∃x(F(z)& ¬G(z))