 The rules specify how the operators, function and predicate symbols, and quantifiers are to be concatenated with other strings.A proposition is then a string with a specific form.The form that a proposition takes depends on the type of logic.