Как выделить лемму в обычном тексте?

psilogic — 26.11.2010 Существуют ситуации, которые раз за разом ведут к непониманию логических рассуждений. Несколько раз (за последнее время трижды) сталкивался с однотипными ситуациями, которые хочу сейчас описать.

Ситуация связана с введением леммы. Лемма - это некое временное отступление от основного доказательства, призванное доказать некое утверждение, которое потом используется. Аналог в программировании - класс, продекларированный внутри другого класса.

Схема применения леммы:

Теорема:
в ней доказывается, что A1->Q4
A1->A2,
A2->A3,
  Лемма:
  в ней доказывается, что Ai->Qi для любого i
  Ai->Bi
  Bi->Zi
  Zi->Qi
A3->Q3
Q3->Q4

Здесь есть основное доказательство A1->Q4, и по ходу понадобилось применить правило Ai->Qi. Но это правило не было доказано раньше, поэтому мы как бы временно отложили теорему в сторону, доказали лемму, а потом ей воспользовались, чтобы продолжить доказательство теоремы.

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

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

Так вот у меня вопрос к уважаемому собранию: сталкивались ли вы с подобными казусами, и какие меры вы принимаете.

Оставить комментарий

Популярные посты:

• Архив