连词和量词(Connective &Quantifiers) 连词(∧, ∨, =>, ～) 与及合取（conjunction)：用连词∧把几个公式连接起来 而构成的公式。合取项是合取式的每个组成部分。
基于12个网页-相关网页
连词和量词
Conjunctions and quantifiers
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动