-
1 алгебра высказываний
Большой англо-русский и русско-английский словарь > алгебра высказываний
-
2 арифметика высказываний
Большой англо-русский и русско-английский словарь > арифметика высказываний
-
3 дерево высказываний
Большой англо-русский и русско-английский словарь > дерево высказываний
-
4 иерархия высказываний
Большой англо-русский и русско-английский словарь > иерархия высказываний
-
5 импликация высказываний
Большой англо-русский и русско-английский словарь > импликация высказываний
-
6 исчисление высказываний
Большой англо-русский и русско-английский словарь > исчисление высказываний
-
7 логика высказываний
Большой англо-русский и русско-английский словарь > логика высказываний
-
8 множество высказываний
Большой англо-русский и русско-английский словарь > множество высказываний
-
9 связка высказываний
Большой англо-русский и русско-английский словарь > связка высказываний
-
10 эквивалентность высказываний
Большой англо-русский и русско-английский словарь > эквивалентность высказываний
-
11 язык высказываний
Большой англо-русский и русско-английский словарь > язык высказываний
-
12 исчисление высказываний
Англо-русский словарь технических терминов > исчисление высказываний
-
13 ana
высказыванийизречений -
14 propositional
пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое пропозициональное исчисление classical propositional logic ≈ классическая логика высказываний constructive propositional calculus ≈ конструктивное исчисление высказываний, конструктивное пропозициональное исчисление extended propositional calculus ≈ расширенное исчисление высказываний, расширенное пропозициональное исчисление intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология minimal propositional calculus ≈ минимальное исчисление высказываний, минимальное пропозициональное исчисление modal propositional calculus ≈ модальное исчисление высказываний, модальное пропозициональное исчисление multivalued propositional calculus ≈ многозначное исчисление высказываний, многозначное пропозициональное исчисление open propositional function ≈ открытая пропозициональная функция partial propositional calculus ≈ частное исчисление высказываний, частное пропозициональное исчисление positive propositional calculus ≈ позитивное исчисление высказываний, позитивное пропозициональное исчисление positive propositional tautology ≈ позитивная пропозициональная тавтология primitive propositional constant ≈ исходная пропозициональная постоянная proper propositional calculus ≈ собственное исчисление высказываний, собственное пропозициональное исчисление two-valued propositional calculus ≈ двузначное [классическое] исчисление высказываний, двузначное [классическое] пропозициональное исчисление unary propositional connective ≈ унарная пропозициональная связка - propositional algebra - propositional argument - propositional axiom - propositional calculus - propositional connective - propositional form - propositional formula - propositional function - propositional functor - propositional hierarchy - propositional implication - propositional inference - propositional interpretation - propositional letter - propositional logic - propositional operator - propositional tautology - propositional variable ПропозициональноБольшой англо-русский и русско-английский словарь > propositional
-
15 symposium
sɪmˈpəuzjəm сущ.
1) симпозиум, совещание по определенному научному вопросу to hold a symposium on ≈ проводить симпозиум (по каким-л. вопросам)
2) философская или иная дружеская беседа
3) сборник статей, подборка высказываний различных авторов на общую тему
4) древнегреч. пир симпозиум, совещание по какому-л. специальному вопросу философская или иная дружеская беседа сборник статей разных авторов на общую тему подборка высказываний разных людей на одну тему (в газете, журнале) - the magazine carries a * on sports в журнале напечатана подборка высказываний о спорте (древнегреческое) пир, симпозиум (часто сопровождающийся беседой) symposium др.-греч. пир ~ сборник статей различных авторов на общую тему ~ (pl -sia) симпозиум, совещание по определенному научному вопросу ~ философская или иная дружеская беседаБольшой англо-русский и русско-английский словарь > symposium
-
16 proposition world
пространство высказываний
Совокупность высказываний, каждое из которых истинно для данного пространства сущностей.
[ ГОСТ 34.320-96]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > proposition world
-
17 ana
-
18 calculus
̈ɪˈkælkjuləs I сущ.;
мн. -li;
мед. камень bladder calculi ≈ камни в мочевом пузыре Syn: stone II сущ.;
мн. -es, -li;
мат. исчисление differential calculus ≈ дифференциальное исчисление integral calculus ≈ интегральное исчисление Syn: calculation (математика) исчисление - the (differential) * дифференциальное исчисление - * of probabilities исчисление вероятностей - * of variation вариационное исчисление калькуляция (медицина) камень (почечный, желчный) calculus (pl -es) мат. исчисление;
differential calculus дифференциальное исчисление ~ исчисление ~ калькуляция ~ (pl -li) мед. камень ~ of probability теория вероятностей ~ of variations вариационное исчисление certainty ~ исчисление достоверности calculus (pl -es) мат. исчисление;
differential calculus дифференциальное исчисление extended ~ расширенное исчисление first order predicate ~ исчисление предикатов первого порядка frame ~ исчисление фреймов integral ~ интегральное исчисление lambda ~ лямбда-исчисление logical ~ логическое исчисление predicate ~ исчисление предикатов program ~ исчисление программ propositional ~ исчисление высказываний relational ~ реляционное исчисление sentential ~ исчисление высказываний situational ~ ситуационное исчислениеБольшой англо-русский и русско-английский словарь > calculus
-
19 symposium
[sımʹpəʋzıəm] n (pl -ia)1. симпозиум, совещание по какому-л. специальному вопросу2. философская или иная дружеская беседа3. 1) сборник статей разных авторов на общую тему2) подборка высказываний разных людей на одну тему (в газете, журнале)the magazine carries a symposium on sports - в журнале напечатана подборка высказываний о спорте
4. др.-греч. пир, симпозиум ( часто сопровождавшийся беседой) -
20 Chaplinsky v. New Hampshire
юр., амер. Чаплинский против Нью-Хэмпшир (некто Чаплинский, представитель Свидетелей Иеговы, распространял религиозную литературу на улице, произнося резкие критические замечания в адрес организованной религии; когда вмешалась полиция, Чаплинский нанес несколько оскорблений представителям последней и был арестован; позже он подал в суд на действия властей штата, которые нарушили первую поправку о свободе слова; суд постановил, что существует особый тип "провокационных высказываний", которые не являются нарушением первой поправки, так как любой положительный смысл, который может в них содержатся не идет ни в какое сравнение с тем ущербом для общественного порядка, который эти слова наносят, поэтому запрет подобных высказываний не является нарушением первой поправки; из этого прецедента родилась доктрина провокационных слов)See:Англо-русский экономический словарь > Chaplinsky v. New Hampshire
См. также в других словарях:
ВЫСКАЗЫВАНИЙ ИСЧИСЛЕНИЕ — пропозициональное исчисление, общее название дедуктивных систем, выводимые объекты к рых интерпретируются как суждения, составленные из простейших (не анализируемых в рамках В. и.) суждений при помощи пропозициональных связок (таких, как не , и … Математическая энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
Логика высказываний — Для улучшения этой статьи желательно?: Проставив сноски, внести более точные указания на источники. Логика высказываний (или пропозици … Википедия
логика высказываний — (Пропозициональная логика) раздел логики, формализующий употребление логических связок и , или , не , если, то и т. п., служащих для образования сложных высказываний из простых. Высказывание называется простым, если оно не включает в себя другие… … Словарь терминов логики
Исчисление высказываний — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… … Википедия
Исчисления высказываний — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… … Википедия
логика высказываний — раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из так называемых элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью… … Энциклопедический словарь
ЛОГИКА ВЫСКАЗЫВАНИЙ, или ПРОПОЗИЦИОНАЛЬНАЯ ЛОГИКА — раздел дедуктивной логики, в котором вопрос об истинности (или ложности) высказываний (т. е. суждений, рассматриваемых без их субъектно предикатной структуры) в умозаключениях рассматривается на основе изучения следующего средства их выражения т … Современный философский словарь
логика высказываний — ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, простые высказывания при этом выступают как… … Энциклопедия эпистемологии и философии науки
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из т. н. элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью… … Большой Энциклопедический словарь
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ — исчисление предложений, формализованная система, в крой задаётся способ доказательства некоторых высказываний (формул), наз. теоремами. И. в. может быть формализовано различными способами: с помощью задания аксиом и правил вывода, т. е.… … Философская энциклопедия