Outrageously Funny Word Dictionary :: Reductorial

👉 A reductorial is a type of mathematical notation used in logic and set theory to express logical equivalence. It consists of two or more logically equivalent statements connected by a series of connectives, such as AND, OR, NOT, XOR, etc. In mathematics, the term "reductorial" refers to the process of using logical equivalences in order to establish mathematical relationships between sets, propositions, and other mathematical objects. It is often used in proofs and proofs of mathematical statements where the

reductorial