Definition:Valid


 * Valid Argument
 * Valid (Formal Systems)