| Formulas: A formula in logic is a well-formed expression that represents a proposition. A proposition is a statement that can be either true or false. Formulas can be constructed using variables, logical connectives, and quantifiers. See also Quantification, Connectives, Variables._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. |
