Definition:Elementary Valid Argument Form