释
完全集
wán quán jí · ㄨㄢˊ ㄑㄩㄢˊ ㄐㄧˊ
修撰于 2026-07-01 01:10:55
音义
| 拼音 | 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 定义。