6.3.2. Правила модификации.

Если Р и два высказывания с распределениями возможностей тогда Р и называются семантически эквивалентными, что обозначается тогда и только тогда, когда Говорят, что Р семантически влечет что обозначается тогда и только тогда, когда .

Сформулируем общее правило модификации, обобщающее правило модификации для простых высказываний и применимое к высказываниям, полученным с помощью правил типа 1—4.

Общее правило модификации: если — модификатор и Р — высказывание, то семантически эквивалентно высказыванию, которое получается в результате применения к распределению возможностей, индуцированному Р.

Для простых высказываний вида

правило совпадает с трансляционным правилом типа 2. Например, для

Для сложных высказываний правило записывается:

Например, «очень (X есть А и Y есть В)» «X есть очень А и Y есть очень В».

Для высказываний с кванторами правило запишется

Например, можно положить Эта формула обобщает стандартное правило отрицания в исчислении предикатов первого порядка

Для высказываний с оценками, например, с оценкой истинности, правпло запишется

Например, для «истина» получим не есть А есть истинно) есть А не есть истинно.