'Bazı hayvanlar uçamaz' önermesi ile 'Bazı hayvanlar uçar' önermesi arasındaki mantıksal ilişki nedir?