Студопедия - НЕПОСРЕДСТВЕННЫЕ УМОЗАКЛЮЧЕНИЯ (противопоставление предикату) Неявные определения в логике примеры