设 F 是 n 元联结词，p1,…,pn 是不同的命题变元。如果公式 A 中不出现除 p1,…,pn 之外的命题变元，并 A⇔Fp1…pn，则称 A 定义 F。如果存在由联结词集合 S 生成的公式定义 F ，则称 F 可由 S 定义。
欢迎使用别助学词语词典！我们专注于汉语词语、成语、近义词、反义词的查询与学习。词库丰富，查询快速，是您提升汉语水平的得力助手。如有任何问题，欢迎联系我们。