Необходимые и достаточные условия в логике: Пояснение и примеры