Использование законов эквивалентности позволяет производить следующее полезное действие:
Дополнительные объекты называют:
Большинство предикатов в состоянии, в котором не определены некоторые из переменных, входящих в него:
Часто полезно поручить проверку истинности предикатов в процессе выполнения программы:
Проверка истинности предикатов в процессе выполнения программы в различных языках программирования реализована:
Что позволяет реализовать проверку истинности предикатов в процессе выполнения программы в языке Java:
Среди огромного множества всех предикатов особую роль играют те из них, которые всегда являются:
Преобразователь предикатов wp(S,R) обладает следующими свойствами:
Свойствами преобразователя предикатов wp или определением оператора цикла являются:
Какое свойство является дистрибутивностью конъюнкции преобразователя предикатов wp(S,R):