Советский философский словарь - исчисление классов
Связанные словари
Исчисление классов
исчисление классов
аксиоматич. (см. Аксиоматический метод) описание логики классов. И. к. равнообъёмно исчислению одноместных предикатов (см. Логика предикатов): у этих исчислений совпадают классы как исходных формул, так и выводимых формул (теорем); однако интерпретации этих исчислений различны: исчисление одноместных предикатов интерпретируется как логика содержаний понятий, а И. к.как логика объёмов понятий. И. к. равносильно в определ. смысле исчислению высказываний и обладает (как и последнее) свойствами непротиворечивости, дедуктивной полноты и разрешимости.
Рейтинг статьи:
Вопрос-ответ:
Что такое исчисление классов
Значение слова исчисление классов
Что означает исчисление классов
Толкование слова исчисление классов
Определение термина исчисление классов
ischislenie klassov это
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1816 | |
2 | 1431 | |
3 | 1240 | |
4 | 1171 | |
5 | 1158 | |
6 | 1114 | |
7 | 922 | |
8 | 847 | |
9 | 808 | |
10 | 780 | |
11 | 765 | |
12 | 750 | |
13 | 726 | |
14 | 715 | |
15 | 714 | |
16 | 697 | |
17 | 695 | |
18 | 672 | |
19 | 670 | |
20 | 656 |