Статистика - Статей: 872662, Изданий: 946

Искать в "Математическая энциклопедия..."

ВЫСКАЗЫВАНИЙ ИСЧИСЛЕНИЕ





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

Лит. см. при ст. Логические исчисления. С. Ю. Мослов.



Еще в энциклопедиях


В интернет-магазине DirectMedia