Пример 1.1

Санкт-Петербург севернее Москвы.

Москва севернее Киева.

Следовательно, Санкт-Петербург севернее Киева.

Пример 1.2

x >у,

у >z,

следовательно, x > z.

В этих двух несложных рассуждениях речь идет о совершенно разных вещах. Пример 1.1 содержит рассуждение из области географии, пример 1.2 — из области математики. Однако сам ход рассуждения в обоих примерах представляется одинаковым. То, что является общим для этих примеров, — это и есть их логическая форма.