👉 Unparticularising, in mathematics and logic, refers to the process of reducing a statement or argument to its simplest form. It is often used in proving statements that are true by showing that their negation is false, or in disproofing statements that are false through logical contradiction. In unparticularising a statement, we start with its truth value (either "true" or "false"), and then reduce it to the simpler form of "not P". This process involves removing all possible
