Action axiom

An action axiom is an axiom that embodies a criterion for describing action. Action axioms are of the form "If a condition holds, then the following will be done".

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.