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:
“We should stop looking to law to provide the final answer.... Law cannot save us from ourselves.... We have to go out and try to accomplish our goals and resolve disagreements by doing what we think is right. That energy and resourcefulness, not millions of legal cubicles, is what was great about America. Let judgment and personal conviction be important again.”
—Philip K. Howard, U.S. lawyer. The Death of Common Sense: How Law Is Suffocating America, pp. 186-87, Random House (1994)