👉 In mathematics, a disjunctive system is a type of logical system that allows for two or more propositions to be either true or false simultaneously. It is often used in conjunction with other logical systems such as propositional logic and predicate logic. The idea behind disjunctive systems is that the truth values of propositions can be expressed using only the negation symbol "not" (¬) and an existential quantifier (∀). This allows for a clear distinction between true and false, but
