Отнимем от обеих сторон равенства 2 + 2 = 5 по 3. Получим: 1 = 2. Если собеседник утверждает, что Рассел не является римским папой, то этот папа и Рассел – два разных лица. Но поскольку 1 = 2, папа и Рассел – это одно и то же лицо.

Приведённые формулировки законов логики и примеров к этим законам являются довольно неуклюжими словесными конструкциями и звучат непривычно, даже если речь идёт о самых простых по своей структуре законах. Естественный язык, использовавшийся в этих формулировках, явно не лучшее средство для данной цели. И дело даже не столько в громоздкости получаемых выражений, сколько в отсутствии ясности и точности в передаче законов.

Мало сказать, что о законах логики трудно говорить, пользуясь только обычным языком. Строго подходя к делу, нужно сказать, что они вообще могут быть адекватно переданы на этом языке.

Не случайно современная логика строит для выражения своих законов и связанных с ними понятий специальный язык. Этот формализованный язык отличается от обычного языка прежде всего тем, что следует за логической формой и воспроизводит её даже в ущерб краткости и лёгкости общения.