-
1 исчисление высказываний
neng. AussagenkalkülУниверсальный русско-немецкий словарь > исчисление высказываний
-
2 логика высказываний
neng. Aussagenlogik -
3 отделяемая глагольная приставка, указывает на однообразие и бессмысленность действий, высказываний
Универсальный русско-немецкий словарь > отделяемая глагольная приставка, указывает на однообразие и бессмысленность действий, высказываний
-
4 поток высказываний
nmanag. Äußerungsfluss -
5 собрание высказываний для научных исследований
nling. KorpusУниверсальный русско-немецкий словарь > собрание высказываний для научных исследований
-
6 совокупность высказываний
nling. CorpusУниверсальный русско-немецкий словарь > совокупность высказываний
-
7 это можно заключить из его высказываний
Универсальный русско-немецкий словарь > это можно заключить из его высказываний
-
8 исчисление высказываний
Russian-german polytechnic dictionary > исчисление высказываний
-
9 логика высказываний
-
10 экстериоризация
n1) psych. Entäußerung (переход действий из внутренней свёрнутой формы в форму развёрнутых внешних действий, высказываний и т.п.), Exteriorisation (переход действий из внутренней свёрнутой формы в форму развёрнутых внешних действий, высказываний и т.п.), Vorlagerung (переход действий из внутренней свёрнутой формы в форму развёрнутых внешних действий, высказываний и т.п.)2) sociol. Exteriorisierung -
11 графофобия
npsych. Graphophobie (боязнь письменных высказываний, боязнь брать в руки письменные принадлежности), Schreibfurcht (боязнь письменных высказываний, боязнь брать в руки письменные принадлежности) -
12 Aussagenkalkül
(m)исчисление высказываний -
13 Aussagenlogik
(f)логика высказываний -
14 Aussagentheorie
(f)теория высказываний -
15 Aussagenvariable
(f)переменная для высказываний, пропозициональная переменная -
16 Unwiderlegbarkeit durch den Aussagenkalkül
неопровержимость в исчислении высказыванийНемецко-русский математический словарь > Unwiderlegbarkeit durch den Aussagenkalkül
-
17 aussagenlogische Identität
тождество исчисления высказыванийНемецко-русский математический словарь > aussagenlogische Identität
-
18 intuitionistischer Aussagenkalkül
интуиционистское исчисление высказыванийНемецко-русский математический словарь > intuitionistischer Aussagenkalkül
-
19 klassischer Aussagenkalkül
классическое исчисление высказыванийНемецко-русский математический словарь > klassischer Aussagenkalkül
-
20 konstruktiver Aussagenkalkül
конструктивное исчисление высказыванийНемецко-русский математический словарь > konstruktiver Aussagenkalkül
- 1
- 2
См. также в других словарях:
ВЫСКАЗЫВАНИЙ ИСЧИСЛЕНИЕ — пропозициональное исчисление, общее название дедуктивных систем, выводимые объекты к рых интерпретируются как суждения, составленные из простейших (не анализируемых в рамках В. и.) суждений при помощи пропозициональных связок (таких, как не , и … Математическая энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
Логика высказываний — Для улучшения этой статьи желательно?: Проставив сноски, внести более точные указания на источники. Логика высказываний (или пропозици … Википедия
логика высказываний — (Пропозициональная логика) раздел логики, формализующий употребление логических связок и , или , не , если, то и т. п., служащих для образования сложных высказываний из простых. Высказывание называется простым, если оно не включает в себя другие… … Словарь терминов логики
Исчисление высказываний — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… … Википедия
Исчисления высказываний — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… … Википедия
логика высказываний — раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из так называемых элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью… … Энциклопедический словарь
ЛОГИКА ВЫСКАЗЫВАНИЙ, или ПРОПОЗИЦИОНАЛЬНАЯ ЛОГИКА — раздел дедуктивной логики, в котором вопрос об истинности (или ложности) высказываний (т. е. суждений, рассматриваемых без их субъектно предикатной структуры) в умозаключениях рассматривается на основе изучения следующего средства их выражения т … Современный философский словарь
логика высказываний — ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, простые высказывания при этом выступают как… … Энциклопедия эпистемологии и философии науки
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из т. н. элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью… … Большой Энциклопедический словарь
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ — исчисление предложений, формализованная система, в крой задаётся способ доказательства некоторых высказываний (формул), наз. теоремами. И. в. может быть формализовано различными способами: с помощью задания аксиом и правил вывода, т. е.… … Философская энциклопедия