Outrageously Funny Word Dictionary :: Particularisation

👉 In mathematical logic and computer science, "particularisation" refers to the process of assigning a specific value or variable to a formula. This is typically done by substituting one or more variables with their values. For example, consider the following formula in propositional calculus: ``` A → B ∧ (¬C ∨ D) ``` In particular, we can assign the value "B" to the first and third variables, since they are not free. This is because the set of

particularisation