Assume that for some program S, wp(

Assume that for some program S, wp(S, false) ≠ false. Then there exists an initial state from which the execution of S terminates and results in a final state that satisfies false. But no state satisfies the predicate false.

Результаты (русский) 1:

Предположим, что для некоторых программ S, wp(S, false) ≠ false. Тогда существует начальное состояние, из которого выполнение S прекращается и приводит в конечное состояние, которое удовлетворяет false. Но ни одно государство не удовлетворяет предикат false.

Результаты (русский) 2:

Предположим, что для некоторой программы S, сор (S, ложь) ≠ ложь. Тогда существует начальное состояние, из которого исполнение S заканчивается и результаты в конечном состоянии, которое удовлетворяет ложным. Но ни одно государство не удовлетворяет предикат ЛОЖЬ.

Результаты (русский) 3:

предполагаю, что для некоторых программ, WP (s, ложные) ≠ ложной.то есть первоначальный государством, от которого исполнении S прекращается, и результаты в последнее государство, которое отвечает действительности.но государство не удовлетворяет основные ложной.