Если предикат истинен во всех состояниях, в которых он определен, то он называется:
Предикат 5i<10 можно ослабить до:
Предикат A^B^C можно ослабить до:
Предикат, обладающий некоторыми специальными свойствами - это:
Один из простейших способов доказать, что предикат является тавтологией, — это:
Спецификацией {Q} S {R} программы S, где Q и R — предикаты, называется предикат, означающий, что если выполнение S началось в состоянии, удовлетворяющем Q, то имеется гарантия, что оно завершится через конечное время:
Предикат с переменными любых типов, который может содержать кванторы и не иметь скобок, не являющимися необходимыми для его однозначного толкования называется:
Предикат inrange(b,i) определяет:
Площадь треугольника можно сделать неориентированной, если использовать метод:
В данном случае:wp("System.exit(0);",R)=F при каком начальном состоянии после его выполнения предикат R будет истинным:
