1. The property that holds of a binary connective ∘ in a deductive system L when it is associative, that is, when (φ∘ψ)∘ξ and ψ∘(φ∘ξ) are logically equivalent in L.
2. The rules of inference for conjunction (∧) and disjunction (∨) corresponding to their associativity.
科学参考收录了60776条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。