Умозаключение

Умозаключение — это форма мышления, в которой из двух или нескольких исходных суждений (посылок) вытекает новое суждение (вывод).

В логике принято располагать посылки и вывод друг под другом и отделять посылки от вывода чертой.

Пример.

Все планеты движутся.
Юпитер — это планета.

Следовательно, Юпитер движется.

Исходные суждения записаны над чертой, а вывод — под чертой.