Советский философский словарь - исчисление высказываний
Связанные словари
Исчисление высказываний
исчисление высказываний
исчисление предложений, формализованная система, в к-рой задаётся способ доказательства нек-рых высказываний (формул), наз. теоремами. И. в. может быть формализовано различными способами: с помощью задания аксиом и правил вывода, т. е. посредством аксиоматического метода; с помощью одних только правил (натуральное исчисление) и др. Формализация И. в. (интуиционистского, классического, минимального и др.) является адекватной, если всякая истинная во всех интерпретациях формула доказуема в данном исчислении (в этом случае говорят, что соответств. исчисление полно относительно данной семантики; см. Полнота, Семантика). Так, в известных полных формализациях классич. (двузначной) логики все тавтологии являются доказуемыми формулами.
Рейтинг статьи:
Вопрос-ответ:
Что такое исчисление высказываний
Значение слова исчисление высказываний
Что означает исчисление высказываний
Толкование слова исчисление высказываний
Определение термина исчисление высказываний
ischislenie vyskazyvaniy это
Ссылка для сайта или блога:
Ссылка для форума (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 |