4. Inference rules, expressed in a metalanguage. Each inference rule
states that a formula, called a consequent, can be inferred from other
formulae, called premises.
Formal methods are not just disciplined methods, but rather the