Все студенты высшей школы изучают логику. Смирнов изучает логику. Следовательно, Смирнов – студент вуза.