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:
“It is a secret from nobody that the famous random event is most likely to arise from those parts of the world where the old adage “There is no alternative to victory” retains a high degree of plausibility.”
—Hannah Arendt (1906–1975)