03.2 Formal vs Informal
3.2 Formal vs Informal Language Mathematics uses both formal and informal language. Formal language gives precision. Informal language gives readability. A good mathematical text usually combines them. A formal language has exact syntax. It specifies which expressions are valid and how statements are formed. For example, first-order logic has variables, quantifiers, predicates, connectives, and formation rules. ∀x (P(x) → Q(x)) This expression is formal. Its structure is explicit. The quantifier...