文络智义词库

2026-07-12 03:10:32

完全集

wán quán jí · ㄨㄢˊ ㄑㄩㄢˊ ㄐㄧˊ

字母
wan quan ji
首字母
wqj
注音符号
ㄨㄢ ㄑㄩㄢ ㄐㄧ
注音首符
ㄨㄑㄐ

设 F 是 n 元联结词,p1,…,pn 是不同的命题变元。如果公式 A 中不出现除 p1,…,pn 之外的命题变元,并 A⇔Fp1…pn,则称 A 定义 F。如果存在由联结词集合 S 生成的公式定义 F ,则称 F 可由 S 定义。

拆字

相关

文络智义词库,您的专属汉语词典。海量词条,精准释义,成语、近义词、反义词一键查询。专业友好的界面,让词语学习更高效。

热门组词

链接