Формальный анализ умозаключения начинается с выявления его структуры. Любое умозаключение состоит из посылок и заключения или вывода из посылок.

Посылки - это исходные суждения, а заключение - новое суждение. При выявлении логической формы умозаключения посылки и заключение
принято записывать «столбиком». Посылки отделяются от заключения горизонтальной чертой. Над ней записываются посылки, а под ней - заключение.

Логическим основанием выведения нового суждения является смысловая связь посылок. Они состоят из суждений, состоящих из одинаковых терминов, т.е. связанных по содержанию. Если взять разные по содержанию суждения, то вывод из них невозможен. Например, из суждений
«Все планеты – небесные тела» и «Ручка – канцелярский прибор» нельзя сделать заключение. Ни в действительности, ни логически они не связаны.