Все форумы


  Ответ в темуСоздание новой темы

> Формальная логика
FatCat
Дата 25.11.2005 - 11:51
Цитировать сообщение
Репутация: 0
  • Лемма: Все лошади одного цвета.
    Доказательство (по индукции):
    При n = 1: В множестве состоящем из одной лошади утверждение, очевидно, выполнено.
    При n = k: Пусть имеется множество, состоящее из k+1 лошадей. Если убрать из него одну лошадь, то их останется k. По предположению индукции все они одного цвета. Теперь вернем на место убранную лошадь и заберем какую-либо другую. По предположению и эти k оставшихся лошадей одного цвета. Но тогда и все k+1 лошадей будут одного цвета.
    Согласно принципу математической индукции, все лошади одного цвета.
  • Теорема: Крокодил более длинный чем широкий.
    Доказательство: Возьмём произвольного крокодила и докажем две вспомогательные леммы.
    • Лемма 1: Крокодил более длинный чем зелёный.
      Доказательство: Посмотрим на крокодила сверху - он длинный и зелёный. Посмотрим на крокодила снизу - он длинный, но не такой зелёный (на самом деле он тёмно-серый).
      Следовательно, лемма 1 доказана.
    • Лемма 2: Крокодил более зелёный чем широкий.
      Доказательство: Посмотрим на крокодила ещё раз сверху. Он зелёный и широкий. Посмотрим на крокодила сбоку: он зелёный, но не широкий. Это доказывает лемму 2.
    Утверждение теоремы следует из доказанных лемм.
  • "Обpатная теоpема: "Кpокодил более шиpокий, чем длинный" доказывается аналогично.

    Hа пеpвый взгляд из обоих теорем следует, что кpокодил - квадpатный. Однако, поскольку все неpавенства - стpогие, то настоящий математик сделает единственно пpавильный вывод: КРОКОДИЛОВ HЕ СУЩЕСТВУЕТ!"


--------------------
"сложные медицинские пpоблемы имеют пpостые и легкие для понимания инженеpов непpавильные pешения"

(M.Kozak)




user posted image



__________________________________________________


На мейл не отвечаю, пишите в форуме или в ПМ
PMПисьмо на e-mail пользователюСайт пользователяICQ
1/481436    Для быстрой цитаты из этого сообщения выделите текст и нажмите сюда
  Быстрый ответ
Информация о Госте
Введите Ваше имя
Кнопки кодов
Для вставки цитаты, выделите нужный текст и
НАЖМИТЕ СЮДА
Введите сообщение
Смайлики
:huh:  :o  ;) 
:P  :D  :lol: 
B)  :rolleyes:  <_< 
:)  :angry:  :( 
:unsure:  :blink:  :ph34r: 
:oops:  :offtop:  :loll: 
     
Показать всё

еще смайлики

Опции сообщения  Включить смайлики?
 Включить подпись?
 
1 Пользователей читают эту тему (1 Гостей и 0 Скрытых Пользователей)
0 Пользователей:

Опции темы Ответ в темуСоздание новой темы

 



[ Время генерации скрипта: 0,0323 ]   [ Использовано запросов: 13 ]   [ GZIP включён ]


Безорнил - средство лечения геморроя Болюсы Хуато. Восстановление после инсульта Мастопатия: все о лечении мастопатии без операции Медицинские расходные материалы:

шприцы, системы переливания растворов, бинты, вата, марля, перчатки, шовный материал, шапочки, бахилы, дезсредства, маски, перевязка Rambler's Top100 Кодекс этики врачей РунетаЛучшая система размещения статей