Quantification As Random Assignment
The random-assignment statement denotes the nondeterministic action of setting to an arbitrary value. then says that holds no matter what you set to, while says that it is possible to set to a value that makes true. thus has the same meaning as the universal quantifier, while similarly corresponds to the existential quantifier . That is, first-order logic can be understood as the dynamic logic of programs of the form .
Read more about this topic: Dynamic Logic (modal Logic)
Famous quotes containing the word random:
“Man always made, and still makes, grotesque blunders in selecting and measuring forces, taken at random from the heap, but he never made a mistake in the value he set on the whole, which he symbolized as unity and worshipped as God. To this day, his attitude towards it has never changed, though science can no longer give to force a name.”
—Henry Brooks Adams (1838–1918)