пропозициональное исчисление
1ПРОПОЗИЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ — исчисление высказываний, логическое исчисление, в к ром выводимыми объектами являются пропозициональные формулы. Каждое П. и. задается набором аксиом (произвольных пропозициональных формул) и вывода правил. Формула, выводимая в данном П. и., наз …
2ПОЗИТИВНОЕ ПРОПОЗИЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ — исчисление высказываний в языке {a, , }, задаваемое следующими 8 схемами аксиом: и правилом вывода модус поненс, П. п. и. содержит ту часть интуиционистского исчисления высказываний I (см. Интуиционизм), к рая не зависит от отрицания, а именно:… …
3ИМПЛИКАТИВНОЕ ПРОПОЗИЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ — пропозициональное исчисление, использующее единственную исходную связку (импликацию). Примерами И. п. и. являются полное (или классическое) И. п. и., задаваемое аксиомами и правилами вывода: модус поненс и подстановка, а также позитивное И. п. и …
4МИНИМАЛЬНОЕ ПРОПОЗИЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ, — минимальное исчисление высказываний, логическое исчисление, получающееся из позитивного пропозиционального исчисления П добавлением новой связки (отрицание) и схемы аксиом к рая наз. законом приведения к абсурду. М. п. и. отличается тем, что в… …
5ВЫСКАЗЫВАНИЙ ИСЧИСЛЕНИЕ — пропозициональное исчисление, общее название дедуктивных систем, выводимые объекты к рых интерпретируются как суждения, составленные из простейших (не анализируемых в рамках В. и.) суждений при помощи пропозициональных связок (таких, как не , и …
6ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ — формализации содержательных логич. теорий; выводимые объекты Л. п. интерпретируются как суждения, составленные из простейших (имеющих, вообще говоря, субъектно предикатную структуру) при помощи пропозициональных связок и кванторов. Чаще всего… …
7ВЕРОЯТНОСТНАЯ ЛОГИКА — логическая система, в которой высказываниям соответствует непрерывная шкала значений истинности от 0 до 1, причем нуль приписывается высказыванию о невозможном событии, а 1 практически достоверному. В.л. формально можно рассматривать как… …
8ЛОГИЧЕСКИЕ СВЯЗКИ — ЛОГИЧЕСКИЕ СВЯЗКИ символы логических языков, используемые для образования сложных высказываний (формул) из элементарных. Логическими связками называют также соответствующие этим символам союзы естественного языка. Обычно используются такие… …
9формальная теория — теория в формализованном языке. Важной особенностью Ф. т. является то, что содержательные утверждения заменены в них последовательностями символов, манипуляции с которыми основываются лишь на их внешнем виде, и подразумеваемая логическая система… …
10ВРЕМЕННАЯ ЛОГИКА — ВРЕМЕННАЯ ЛОГИКА раздел современных неклассических логик, в котором изучаются высказывания с истинностными значениями, изменяющимися во времени. Технически последнее оформляется посредством временных операторов, которые, будучи… …
- 1
- 2
