Непосредственное умозаключение «Все львы плотоядны, следовательно некоторые плотоядные животные являются львами» является