общезначимая формула

мат. valid formula

Большой англо-русский и русско-английский словарь. 2001.

Смотреть что такое "общезначимая формула" в других словарях:

  • ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …   Философская энциклопедия

  • ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия

  • Логика — (греч. logike̅́)         наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л …   Большая советская энциклопедия

  • СЛЕДОВАНИЕ ЛОГИЧЕСКОЕ —     СЛЕДОВАНИЕ ЛОГИЧЕСКОЕ отношение между некоторым множеством высказываний Г (гипотез) и высказыванием В (заключением), отображающее тот факт, что, в силу только логической структуры названных высказываний и, значит, независимо от их содержания… …   Философская энциклопедия

  • ОБЩЕЗНАЧИМОСТЬ — свойство логической формулы, состоящее в том, что эта формула истинна при любой интерпретации входящих в нее нелогич. символов, т. е. предикатных и пропозициональных переменных. Логич. формулы, обладающие этим свойством, наз. общезначимыми, или… …   Математическая энциклопедия

  • ТАВТОЛОГИЯ — (греч. tauto то же самое; logos слово) 1) выражение, повторяющее ранее сказанное в иной языковой форме; 2) Т. в дефиниции логическая ошибка, заключающаяся в том, что определяемое понятие определяется через него самого, т.е. определяющая часть… …   Новейший философский словарь

  • форма логическая —         ФОРМА ЛОГИЧЕСКАЯ способ связи составных частей содержания мысли в отличие от самого этого содержания, результат отвлечения от «материи» мысли, т.е. от того, какие именно индивиды, свойства, отношения, классы, ситуации и т.п. являются… …   Энциклопедия эпистемологии и философии науки

  • ПРОПОЗИЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ — исчисление высказываний, логическое исчисление, в к ром выводимыми объектами являются пропозициональные формулы. Каждое П. и. задается набором аксиом (произвольных пропозициональных формул) и вывода правил. Формула, выводимая в данном П. и., наз …   Математическая энциклопедия

  • КУЛЬТ — р е л и г и о з н ы й (лат. cultus, от colo – возделываю, почитаю) – религ. почитание каких либо предметов или сверхъестеств. существ, обрядовая сторона религии. В широком смысле в понятие К. включаются все виды действий, связанных с религ. магич …   Философская энциклопедия

  • Парейсон Луиджи — Личность как орган истины Жизнь и сочинения     Луиджи Парейсон родился в г. Пиаско (Кунео) 4 февраля 1918 г. Философию изучал в Турине и в 1939 г., будучи учеником Августа Гуццо, выступил по поводу тезисов Карла Ясперса. Некоторое время он… …   Западная философия от истоков до наших дней

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.