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

...ией]], и в таких системах принято [[Утверждение (логика)|утверждать]], что следствие является [[Идемпотентность|идемпотентным]], [[тогда и только тогда]], когда В [[Линейная логика|линейной]] и [[Аффинная логика|аффинной логике]] следствие не является идемпотентным. ...

...ножество|супермножества]] данных [[Высказывание (логика)|высказываний]]. [[Следствие (логика)|Следствием]], является вывод, о том, что если данный аргумент деду [[Категория:Логическое следствие]] ...

...методологии закон Био — Савара — Лапласа, как правило, рассматривается как следствие двух [[уравнения Максвелла|уравнений Максвелла]] для магнитного поля при ус == Логическое место закона в магнитостатике == ...

...же истинны. Для пропозициональной логики можно показать, что семантическое следствие <math>\models</math> и выводимость <math>\vdash</math> эквивалентны друг др [[Категория:Логическое следствие]] ...

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

...|наследственность]]{{уточнить}}{{Sfn|Мальцев|1970|с=271—272|loc=Теорема 2, Следствие 3}}. ...вился в 1970-е годы, когда началось широкое применение хорновой логики в [[Логическое программирование|логическом программировании]] (прежде всего, в работах, св ...

[[Категория:Логическое следствие]] ...

...всякая формула последовательности есть либо аксиома, либо непосредственное следствие каких-либо предыдущих формул по одному из правил вывода. ...[формальная теория]] (''формальная аксиоматическая теория'', ''формальное (логическое) исчисление''). ...

...олнимости булевых формул|''k''-SAT]] является задачей проверки, можно ли [[логическое выражение]] в [[Конъюнктивная нормальная форма|конъюнктивной нормальной фор == Следствие для выполнимости == ...

...й энергии частиц в ансамбле) влияет на подвижность носителей заряда и, как следствие, на то, как они движутся в структуре<ref>{{статья |заглавие=Hot-Electron Ef ...ения логического состояния «0». Незаряженный плавающий затвор представляет логическое состояние «1». При стирании ячейки энергонезависимой флеш-памяти сохранённы ...

[[Файл:Two Parallel lines.svg|thumb|right|200px|[[Умозаключение|Логическое следствие]] аксиомы Плейфера: вторая прямая, параллельная первой и проходящая через т ...

...ь без какого-либо определения. Отсутствовала полная теория сходимости. Как следствие, многие теоремы содержали ошибки, нечёткие или чрезмерно широкие формулиров Он сформулировал логическое обоснование анализа на основе построенной им теории [[Вещественное число|де ...

|отрицание, логическое «НЕТ», «НЕ», [[Инвертор (электроника)|инвертор]], SWAP (обмен) |логическое "ДА", повторитель, тавтология ...

'''Исчисление секвенций''' — вариант [[Логическое исчисление|логических исчислений]], использующий для доказательства утвержд ...бство доказательства [[Устранимость сечений|устранимости сечений]], и, как следствие, исчисления секвенций являются основными исследуемыми системами в [[Теория ...

...Греции]] в VIII—VII веках до н. э. Однако уже в VI веке до н. э. в Греции логическое доказательство становится основным методом установления истины. В это время [[Категория:Логическое следствие]] ...

...очники#Исправить ошибку в определении|показал, что в правиле ВП:АИ имеется логическое противоречие]] в самодельном определении понятия «факт». По словам оппонент ...иям, которые существенно отличались от решений при точном определении. Как следствие, возникали конфликты. Моя попытка начать исправление правила тотчас вызвала ...

...и [[Вейерштрасс, Карл|Вейерштрассом]] и другими математиками XIX века. Как следствие, нотация Лейбница в виде дроби стала рассматриваться не как простое деление ...цепция [[Бесконечно малая и бесконечно большая|бесконечно малых]] содержит логическое противоречие. Некоторые математики 19-го века (Вейерштрасс и другие) сформу ...

[[Отрицание|Логическое отрицание]] [[Определение (логика)|определения]] следующее{{sfn|Spivak|2008 ...h>. В нашем случае это было связано с множителем 3, который появляется как следствие коэффициента наклона 3-й прямой. ...

Эйнштейн показал, что уравнения Лоренца можно вывести как логическое следствие из двух простых исходных постулатов. Вдобавок Эйнштейн признал, что концепц ...что «коэффициент увлечения» Френеля можно легко объяснить как естественное следствие релятивистской формулы для [[Сложение скоростей|сложения скоростей]]<ref na ...

...массивах: <code>ALL</code> (логическое произведение) и <code>MASK</code> (логическое сложение), <code>COUNT</code> (число истинных элементов), <code>PRODUCT</co ...ть изменения переменных в главной программе через подпрограмму) — побочное следствие быстрого метода передачи по адресу. ...