Контекстуальное определение в логике: примеры и объяснения >> Видимое и невидимое