-
1 общезначимая формула
Большой англо-русский и русско-английский словарь > общезначимая формула
-
2 общезначимая формула
Computers: valid formulaУниверсальный русско-английский словарь > общезначимая формула
-
3 общезначимая формула
valid formula мат.Русско-английский научно-технический словарь Масловского > общезначимая формула
-
4 арифметически общезначимая формула
Mathematics: arithmetically valid formulaУниверсальный русско-английский словарь > арифметически общезначимая формула
-
5 вторично общезначимая формула
Mathematics: secondarily valid formulaУниверсальный русско-английский словарь > вторично общезначимая формула
-
6 геометрически общезначимая формула
Mathematics: geometrically valid formulaУниверсальный русско-английский словарь > геометрически общезначимая формула
-
7 интуиционистски общезначимая формула
Mathematics: intuitionistically valid formulaУниверсальный русско-английский словарь > интуиционистски общезначимая формула
-
8 логически общезначимая формула
Mathematics: logically valid formulaУниверсальный русско-английский словарь > логически общезначимая формула
-
9 модально общезначимая формула
Mathematics: modally valid formulaУниверсальный русско-английский словарь > модально общезначимая формула
-
10 позитивно общезначимая формула
Mathematics: positively valid formulaУниверсальный русско-английский словарь > позитивно общезначимая формула
-
11 универсально общезначимая формула
Mathematics: universally valid formulaУниверсальный русско-английский словарь > универсально общезначимая формула
-
12 арифметически общезначимая формула
Русско-английский научно-технический словарь Масловского > арифметически общезначимая формула
-
13 вторично общезначимая формула
Русско-английский научно-технический словарь Масловского > вторично общезначимая формула
-
14 геометрически общезначимая формула
Русско-английский научно-технический словарь Масловского > геометрически общезначимая формула
-
15 интуиционистски общезначимая формула
Русско-английский научно-технический словарь Масловского > интуиционистски общезначимая формула
-
16 логически общезначимая формула
Русско-английский научно-технический словарь Масловского > логически общезначимая формула
-
17 модально общезначимая формула
Русско-английский научно-технический словарь Масловского > модально общезначимая формула
-
18 позитивно общезначимая формула
Русско-английский научно-технический словарь Масловского > позитивно общезначимая формула
-
19 универсально общезначимая формула
Русско-английский научно-технический словарь Масловского > универсально общезначимая формула
-
20 valid formula
English-Russian dictionary of computer science > valid formula
См. также в других словарях:
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
СЛЕДОВАНИЕ ЛОГИЧЕСКОЕ — СЛЕДОВАНИЕ ЛОГИЧЕСКОЕ отношение между некоторым множеством высказываний Г (гипотез) и высказыванием В (заключением), отображающее тот факт, что, в силу только логической структуры названных высказываний и, значит, независимо от их содержания… … Философская энциклопедия
ОБЩЕЗНАЧИМОСТЬ — свойство логической формулы, состоящее в том, что эта формула истинна при любой интерпретации входящих в нее нелогич. символов, т. е. предикатных и пропозициональных переменных. Логич. формулы, обладающие этим свойством, наз. общезначимыми, или… … Математическая энциклопедия
ТАВТОЛОГИЯ — (греч. tauto то же самое; logos слово) 1) выражение, повторяющее ранее сказанное в иной языковой форме; 2) Т. в дефиниции логическая ошибка, заключающаяся в том, что определяемое понятие определяется через него самого, т.е. определяющая часть… … Новейший философский словарь
форма логическая — ФОРМА ЛОГИЧЕСКАЯ способ связи составных частей содержания мысли в отличие от самого этого содержания, результат отвлечения от «материи» мысли, т.е. от того, какие именно индивиды, свойства, отношения, классы, ситуации и т.п. являются… … Энциклопедия эпистемологии и философии науки
ПРОПОЗИЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ — исчисление высказываний, логическое исчисление, в к ром выводимыми объектами являются пропозициональные формулы. Каждое П. и. задается набором аксиом (произвольных пропозициональных формул) и вывода правил. Формула, выводимая в данном П. и., наз … Математическая энциклопедия
КУЛЬТ — р е л и г и о з н ы й (лат. cultus, от colo – возделываю, почитаю) – религ. почитание каких либо предметов или сверхъестеств. существ, обрядовая сторона религии. В широком смысле в понятие К. включаются все виды действий, связанных с религ. магич … Философская энциклопедия
Парейсон Луиджи — Личность как орган истины Жизнь и сочинения Луиджи Парейсон родился в г. Пиаско (Кунео) 4 февраля 1918 г. Философию изучал в Турине и в 1939 г., будучи учеником Августа Гуццо, выступил по поводу тезисов Карла Ясперса. Некоторое время он… … Западная философия от истоков до наших дней