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