👉 In mathematical logic, a defyer is a statement or proposition that is true only if its negation is false. It is also known as a biconditional or biconjunctive proposition. deferents