Предикат можно назвать константным, если в нем:
Один из простейших способов доказать, что предикат является тавтологией, — это:
Если предикат истинен во всех состояниях, в которых он определен, то он называется:
Предикат с переменными любых типов, который может содержать кванторы и не иметь скобок, не являющимися необходимыми для его однозначного толкования называется:
Предикат 5i<10 можно ослабить до:
Предикат inrange(b,i) определяет:
Предикат A^B^C можно ослабить до:
Важнейшими свойствами языка Java являются следующие:
Преобразователь предикатов wp(S,R) обладает следующими свойствами:
Свойствами преобразователя предикатов wp или определением оператора цикла являются:
