- противоречивая формула
- мат. contradictory formula, inconsistent formula
Большой англо-русский и русско-английский словарь. 2001.
противоречивая формула
Смотреть что такое "противоречивая формула" в других словарях:
АНТИЛОГИЗМ — (от греч. ἀντι – приставка, означающая противоположность, и λογισμός – разум, рассуждение) – формула логики, выражающая несовместимость посылок категорич. силлогизма с отрицанием его заключения. А. основан на свойстве логического следования,… … Философская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
Физикелла, Джанкарло — Джанкарло Физикелла Джанкарло Физикелла на Гран при Италии 2009 года … Википедия
Джанкарло Физикелла — Гражданство Италия Дата рождения … Википедия
Физикелла Д. — Джанкарло Физикелла Гражданство Италия Дата рождения … Википедия
Физикелла Джанкарло — Джанкарло Физикелла Гражданство Италия Дата рождения … Википедия
логика — ЛОГИКА (от греч. logik (logos) слово, разум, рассуждение) наука о правильных (корректных) рассуждениях. Традиционно рассуждение состоит из последовательности предложений, названных посылками, из которых следует единственное предложение,… … Энциклопедия эпистемологии и философии науки
ЕДИНСТВО И БОРЬБА ПРОТИВОПОЛОЖНОСТЕЙ — один из осн. законов диалектики, выражающий источник самодвижения и развития явлений природы и со циально историч. действительности, выступающий и как всеобщий закон познания. Закон Е. и б. п. в системе материалистич. диалектики занимает… … Философская энциклопедия
ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… … Философская энциклопедия
КАРТАНА МЕТОД ВНЕШНИХ ФОРМ — дифференциально алгебраический метод исследования систем дифференциальных уравнений и многообразий с различными структурами. Алгебраич. основу метода составляет алгебра Грассмана. Пусть Vесть 2n мерное векторное пространство над произвольным… … Математическая энциклопедия
Разрешимость — В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если … Википедия
