-
1 истинностная система
Большой англо-русский и русско-английский словарь > истинностная система
-
2 truth table
-
3 truth function
истинностная функция, функция истинности -
4 truth table
————————English-Russian dictionary of computer science > truth table
-
5 truth function
Англо-русский словарь по исследованиям и ноу-хау > truth function
-
6 truth table
Англо-русский словарь по исследованиям и ноу-хау > truth table
-
7 truth table
The English-Russian dictionary on reliability and quality control > truth table
-
8 truth table
Большой англо-русский и русско-английский словарь > truth table
-
9 truth-value system
Большой англо-русский и русско-английский словарь > truth-value system
-
10 derived truth table
Математика: производная истинностная таблица -
11 truth function
1) Техника: истинная функция2) Математика: истинностная функция, функция истинности -
12 truth table
['truːθˌteɪb(ə)l]1) Техника: истинностная таблица2) Математика: таблица истинности3) Лингвистика: таблица истинностных значений -
13 truth-conditional semantics
Лингвистика: теоретико-истинностная семантикаУниверсальный англо-русский словарь > truth-conditional semantics
-
14 truth-value system
Математика: истинностная система -
15 truth table
лог. истинностная таблица, таблица истинностиEnglish-Russian dictionary of computer science and programming > truth table
-
16 derived
1) выведенный; производный, вторичный2) полученный, извлечённый3) ответвлённый5) геол. принесённый, дериватный• -
17 derived truth table
-
18 truth-value system
мат.
См. также в других словарях:
ИСТИННОСТНАЯ ТАБЛИЦА — таблица, выражающая истинностное значение сложного высказывания через истинностные значения входящих в него простых высказываний. И. т. имеет вид (см. таблицу, Иозначает истина , Л ложь ). Здесь А 1, ...,А п пропозициональные переменные, ( А 1 … Математическая энциклопедия
ДИСКУРСИВНЫЕ ЭПИСТЕМИЧЕСКИЕ ТРАНСФОРМАЦИИ — трансформации, которым подвергаются в разных дискурсивных сферах основные эпистемические сущности (знание, мнение, вера, факт) и процедуры (верификация, истинностная оценка и т.п.). Содержательная специфика и степень значимости основных… … Социология: Энциклопедия
ПАРАДИГМА — образец или модель. Как особый термин понятие П. введено амер. методологом науки Т. Куном в кн. “Структура научных революций” (1962) для обозначения преобладающих в деятельности опр. научного сооб ва проблем и решений. П.… … Энциклопедия культурологии
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
ЛОГИЧЕСКИЕ СВЯЗКИ — ЛОГИЧЕСКИЕ СВЯЗКИ символы логических языков, используемые для образования сложных высказываний (формул) из элементарных. Логическими связками называют также соответствующие этим символам союзы естественного языка. Обычно используются такие… … Философская энциклопедия
Стереометрическая семантика — трактовка логики как науки о получении истинных следствий из истинных посылок все более уступает место более широкой концепции,связанной либо с обобщением понятия следования, основанного на традиционной истинностной оценке и на практических… … Проективный философский словарь
аргументации теория — теория, изучающая те многообразные дискуссионные приемы, которые используются в процессе аргументации. А. т., начавшая складываться еще в античности, прошла долгую историю, богатую взлетами и падениями. Сейчас можно говорить о становлении новой… … Словарь терминов логики
вопрос — предложение, выражающее недостаток информации о к. л. объекте, обладающее особой формой и требующее ответа, объяснения. В языке В. выражается в вопросительном предложении, напр.: Когда на Марс ступит первый житель Земли? В. не является суждением … Словарь терминов логики
логика высказываний — (Пропозициональная логика) раздел логики, формализующий употребление логических связок и , или , не , если, то и т. п., служащих для образования сложных высказываний из простых. Высказывание называется простым, если оно не включает в себя другие… … Словарь терминов логики
Назаретян, Акоп Погосович — (р. 05.05.1948) спец. по соц. и полит. психол., методол. гносеологии и культурологии; д р филос. наук, проф. Род. в Баку. Окончил Моск. гос. пед. ин т иностр. языков им. М.Тореза (1971), асп. по кафедре соц. психол. Ин та обществ. наук (1973). С… … Большая биографическая энциклопедия
Панибратов, Виктор Никифорович — (р. 03.01.1941) спец. в обл. онтологии, теории познания, истории и теории диалектики, филос. вопросов физики и космологии; д р филос. наук, проф. Род. в с. Разгребли Болыпесолдат ского р на Курской обл. Закончил филос. ф т ЛГУ (1970), асп.… … Большая биографическая энциклопедия