Пропозициональная Форма

символ формального языка, служащий для обозначения произвольного высказывания. C. К. Соболев. ..

символ формального языка, служащий для обозначения логической операции, с помощью к-рой из данных высказываний можно получать новые высказывания. Важнейшими П. С. Являются конъюнкция a (иначе ), дизъюнкция , импликация (иначе или ), отрицание (иначе ~), эквивалентность (иначе или ). Эти П. С. Соответствуют в русском языке выражениям "и", "или", "влечет", "не верно, что" и "равносильно". Иногда рассматриваются и другие П. С., напр. Т. Н. Шеффера штрих. Символ обычно вводится не как незав..

выражение, построенное из пропозициональных переменных с помощью пропозициональных связок (и, возможно, нек-рых других) по следующим правилам. 1) каждая пропозициональная переменная есть II. Ф. 2) если А, В суть П. Ф., то , и суть также П. Ф. Если а - нек-рый набор пропозициональных связок (сигнатура), то под П. Ф. Сигнатуры а понимается такая П. Ф., в построении к-рой в 2) использовались лишь связки из s. C. К. Соболев. ..

функция, аргументами и значениями к-рой являются истинностные значения. Этот термин употребляют, когда речь идет об интерпретации формализованного логич. Языка. Если W - множество истинностных значений формул данного языка, то П. Ф.- это любое отображение вида . Этими функциями интерпретируются пропозициональные связки, позволяющие образовывать из предложений .или формул новые предложения или формулы. При классической двузначной интерпретации множества истинностных значений, т. Е. Когда W={..