👉 In propositional logic, a non-disjunctive formula is a formula that does not contain any disjunctions. In other words, it contains only conjunctions and negations (not, and, or, and not). Non-disjunctive formulas are used in deductive reasoning to express logical statements about propositions.