Высказываний Исчисление
пропозициональное исчисление,- общее название дедуктивных систем, выводимые объекты к-рых интерпретируются как суждения, составленные из простейших (не анализируемых в рамках В. И.) суждений при помощи пропозициональных связок (таких, как "не", "и", "или", "если..., то..." и др. См. Логические исчисления). Важнейшим примером является классич. В. И., в интерпретации к-рого суждения рассматриваются как принимающие два значения ("истина" и "ложь") и выводимыми объектами оказываются все тождественно истинные суждения и только они. Интерес к В. И. Определяется тем, что эти исчисления лежат в основе почти любой логико-математич. Теории и обычно соединяют сравнительную простоту с высокой содержательностью. В частности, многие важные задачи как теоретического, так и прикладного характера сводятся к тем или иным проблемам для классич.
В. И. Лит. См. При ст. Логические исчисления. С. Ю. Мослов.
Дополнительный поиск Высказываний Исчисление
На нашем сайте Вы найдете значение "Высказываний Исчисление" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Высказываний Исчисление, различные варианты толкований, скрытый смысл.
Первая буква "В". Общая длина 23 символа