Результаты поиска

'''Modus tollens''' — [[Рассуждение (логика)|рассуждение]] от противного (латинское «modus tollendo tollens» означает «путь исключен ...

'''Трюк Мозера''' — рассуждение, позволяющее свести задачу о нахождении диффеоморфизма гладкого многообрази Это же рассуждение применимо в доказательстве [[теорема Дарбу|теоремы Дарбу]], [[лемма Морса|л ...

'''Парадокс Скулема''' — противоречивое рассуждение, описанное впервые норвежским математиком [[Скулем, Туральф|Туральфом Скуле Проведём рассуждение аккуратно. Факт <math>\mathrm{ZF}\vdash\exists x (x=\mathcal P(\omega))</ma ...

'''Парадокс Тристрама Шенди''' — рассуждение, предложенное [[Рассел, Бертран Артур Уильям|Расселом]] в книге «Мистицизм Данное рассуждение демонстрирует нарушение принципа «часть меньше целого», которое характерно ...

Неформальное рассуждение, показывающее это, таково. Отрезок можно разбить на 2 части, подобные исход : Для квадрата аналогичное рассуждение дает <math>\rho(n)\approx 4\rho(n/2)</math>. То есть, при увеличении <math> ...

...д последним матчем в сезоне — Гриффиндор против Ревенкло — есть любопытное рассуждение о том, какое место займёт Гриффиндор в чемпионате в зависимости от исхода э ...д последним матчем в сезоне — Гриффиндор против Ревенкло — есть любопытное рассуждение о том, какое место займёт Гриффиндор в чемпионате в зависимости от исхода э ...

* [[Релевантная логика]], в которой для [[Вывод (рассуждение)|вывода]] требуется соблюдение всех условий каждой посылки. ...

В общем случае данное рассуждение применимо для всех теорий с лагранжианами высших порядков, кроме случаев, к ...

...ика|логики]]; цепь [[Умозаключение|умозаключений]] ([[Рассуждение (логика)|рассуждение]]), звенья которой ([[Высказывание (логика)|высказывания]]) связаны отношен ...

...]. При этом, если А и Б могут быть одновременно [[ложь|ложными]], то такое рассуждение является заблуждением ([[софизм]], [[ложная дихотомия]]). ...

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

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

...мер, если знать, что А влечёт за собой В, и С влечёт В, то можно сократить рассуждение до одного из этих утверждений и получить В. ...

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

...ее независимое множество вершин в графе <math>G</math> и проделав такое же рассуждение в обратную сторону, получим неравенство <math>|V| - \alpha (G) \ge \tau (G) ...

=== Рассуждение Сади Карно === ...

...ath>. Если же она совпадает с <math>P'</math>, то применим вышеприведённое рассуждение к ней и прямой <math>\ell</math>. Возникнет треугольник <math>PP''P'''</m ...

...{a_0,a_1\dots a_n} </math> и поэтому <math>x \leqslant a</math>. Поскольку рассуждение выполнено <math>\forall x\in X</math>, то <math>a= \sup X</math>, причём вт ...th>. Противоречие, значит <math>\exists x\in X:x>c'</math>. Вообще говоря, рассуждение верно <math>\forall c'</math>. ...

...ы ''a fortiori'' доказываются с помощью методов, используемых в [[кияс]]е, рассуждение по [[Аналогия|аналогии]]<ref>{{Cite book|автор=Hallaq|first=Wael|заглавие=S ...сматривается в терминах логики аналогии — особенно в юридических аспектах. Рассуждение ''a fortiori'' утверждает не только то, что случай, регулируемый прецедентн ...

...еского сообщества, истории, в аналитике и других областях знаний. [[Вывод (рассуждение)|Умозаключения]] за «модель аналогии», являются гипотетическими — истинност ...