ответ
3.6/5
10

smirnoffmax1m3
1 ответ
3 пользователей, получивших
Атлахская битва
Атлахская битва произошла в 751 году н.э., на территории Средней Азии, возле реки Талас, между Арабским Халифатом и Тюргешским каганатом и империей Тан (Китай). Китай стремился установить свое господство в Средней Азии и отправил для этих целей крупные силы около 100000 воинов. В это время арабы, создавали свой халифат, покорив Иран, Кавказ, Афганистан, весь Ближний Восток. Китайские войска в это время захватили Ташкент и ликвидировали тамошнего правителя, посадив на его место своего человека. Тюргешкий каган Сулук, опасаясь китайской экспансии, отправил арабскому халифу посла, для объединения против китайцев. Арабский халиф на тюргешам отправил своих воинов на лошадях и верблюдах, в общем количестве 20 – 30 тысяч человек. К ним примкнули тюргеши и другие тюркские племена, численность союзников доросла до 70 – 80 тысяч воинов.
Битва между арабами и тюргешами с одной и китайцами и его союзниками с другой стороны началась в июле, возле реки Талас. В течении четырех дней войска не решались начать бой. Однако, во время столкновения двух мощнейших армии, арабской во главе полководца Зияд ибн Салиха и китайской, под командованием Гао Сяньчжи с обеих сторон пало и было ранено по 20 – 40 тысяч воинов. Китайцы потерпели поражение, им на пятый день битвы ударили в спину их союзники карлуки. Китайцам пришлось отступить и отказаться от идеи покорения Средней Азии. Китайский полководец едва остался в живых, за счет проложенной конвоем дороги посреди отступающего в беспорядке войска. Арабы, также были ослаблены и долго не могли прийти в себя после такого крупного сражения. Их власть в Средней Азии также была не прочной, власть оставалась в руках тюрков. Политическая ситуация в Китае и в Арабском Халифате со временем заставила вернуться пограничные отряды обеих империи в свои пределы.
Эта крупнейшая в истории средневековья битва сыграло огромную роль в судьбе стран и народов Средней Азии. Благодаря мудрой политике тюркских правителей, удалось избежать политической зависимости от Арабского Халифата и Китайской империи. Хотя местные каганы приняли ислам, арабская власть не распространилась на эти земли. Китай был занят своими внутренними проблемами в стране, и план экспансии на запад им пришлось отложить. Атлахская битва остановила продвижение Китая на земли средней Азии почти на 1000 лет. После битвы карлуки и уйгуры восстановили свои государства, а секреты изготовления бумаги через китайских военнопленных попала на запад.
IVEJOURNAL
ВОЙТИ

lex_kravetski
30 июля 2008, 10:00
1
77
Кванторы и отрицание
Граждане в разной форме интересуются примерно одним и тем же вопросом: как же так получается, что «не умею плавать» означает «не умею плавать никак», а «умею плавать» означает «умею плавать хоть как-то»? И наоборот, почему из «умею плавать брассом» следует «умею плавать», а из «не умею плавать брассом» не следует «не умею плавать»? Граждане, заранее подученные мной, усматривают в такой ассиметрии признаки двоемыслия. Вроде как для положительных утверждений используется одна логика, а для отрицательных – другая. Вроде как они не равны получаются. Двойные стандарты.
Бдительность, конечно, это очень хорошо. Нельзя не порадоваться, что граждане перестают глотать не проверяя всё подряд, а напротив сразу всё проверяют. Однако вопрос, похоже, необходимо разъяснить, поскольку граждане испытывают и с ним проблемы тоже.
Итак, вопрос касается утверждений с кванторами. Кванторы как правило используются в количестве двух штук. Есть квантор «все» и есть квантор «существует». Записываются они, соответственно,  и .
Кроме квантора в подобных выражениях существуют ещё переменные и предикаты. Предикат – это функция от переменной. А сами переменные – это места для подстановки элементов множества.
Например, есть у нас стадо коров и некоторое утверждение, касающееся именно этих коров (а не всего стада в целом). Тогда мы можем сказать «для x выполняется P(x)», где x – переменная, на место которой мы можем подставлять каких угодно коров из стада, а P(x) – это утверждение про корову.
Таким образом, «корова – белая» у нас превратится в «для x (корова) выполняется P(x) (быть белой коровой)». Корова пока что у нас не конкретная, а корова вообще. Соответственно, мы можем в данное выражение начать подставлять реальных коров и получать утверждения «корова Зорька – белая», «корова Тонька – белая» и так далее. В общем, тут всё как в математике с функциями: f(x) = sin(x), f(1) = sin(1), f(2) = sin(2) и так далее.
Иногда бывает, что нам надо сказать что-то не про одну корову, а про всех коров в стаде (не путать с «сказать про само стадо»), например, сказать что все коровы в этом стаде белые.
Тогда мы это сформулируем так:
 x P(x)
Что читается в данном случае как «для всех x (коров в стаде) выполняется P(x) (быть белой коровой)». Или же «выберем любую корову и она будет белой».
Второй квантор нужен для того, чтобы сказать «в стаде есть белые коровы».
 x P(x)
Это выражение читается «существуют такие x (коровы), что для них выполняется P(x) (быть белой коровой)». Или «если мы переберём всё коров в стаде, то обязательно обнаружатся белые».
Если же нам следует построить отрицание упомянутых суждений, то мы проделаем следующее:
 x P(x)   x P(x)
Что означает: «не все коровы белые» равносильно «есть коровы, которые не белые». «Равносильно» – это «тождественно». То есть, оба выражения либо верны, либо неверны одновременно. В общем, одно выражение – переформулировка другого.
И обратно же,
  x P(x)   x P(x)
«Не существует белых коров» равносильно «все коровы не белые».
Собственно, отсюда уже можно догадаться, откуда проистекает описанная в самом начале ассиметрия. Дело в том, что если выражение «не умеет плавать» является отрицанием «умеет плавать» (а в русском языке оно им является), то у нас возможны два варианта.
1. «Умеет плавать» означает «умеет плавать хоть каким-то стилем», а «не умеет плавать» означает «не умеет плавать никак».
Если x – это стиль плавания. А P(x) – «уметь плавать стилем x», то
умеет плавать:  x P(x)
не умеет плавать:   x P(x)   x P(x)
2. «Умеет плавать» означает «умеет плавать любым стилем», «не умеет плавать» означает «не умеет плавать каким-то стилем».
умеет плавать:  x P(x)
не умеет плавать:  x P(x)   x P(x)
Так что, если вам хочется, чтобы из «не умеет плавать брассом» следовало «не умеет плавать», то вам необходимо, чтобы из «умеет плавать брассом» не следовало «умеет плавать». И наоборот, если хотите, чтобы из «не умеет плавать» не следовало «не умеет плавать брассом», то обязательно из «умеет плавать» должно следовать «умеет плавать брассом».
Если такие варианты вас устраивают, то вы либо говорите на каком-то альтернативном языке (где данные фразы имеют вот такой вот смысл или же «умеет плавать» не является отрицанием «умеет плавать»), либо не пользуетесь логикой. Как вариант, говорите сами не понимаете чего.
Тест прошел проверку