搜索
主菜单
掌上团酷
掌上团酷
分离规则的意思
fēn
lí
guī
zé
分离规则
拼音
fēn lí guī zé
拼音字母
fen li gui ze
拼音首字母
flgz
百科含义
分离规则( modus ponens或 rule of detachment)形式系统中的基本变形规则。它规定:由某系统断定或肯定A和A-B,可以推得该系统也断定B。
词语组词
分
字组词
离
字组词
规
字组词
则
字组词
相关词语
liàng yè fù yè ěr jué
亮叶复叶耳蕨
liú wěi
刘苇
xià xū cǎo shǔ
夏须草属
zhāng qiū shí
张秋实
yè yā yóu lǜ xīn
液压油滤芯
xūn mǎ ròu
熏马肉
bái jùn lóng
白俊龙
cǎo dì xiāng
草地乡
zhèng jiāo
郑娇
cháng duǎn jù
长短句
xiāng cǎo qī quán
香草期权
jù líng
巨羚
xī gǔ jīng suǐ
西谷茎髓
wéi wú ěr zú yī xué
维吾尔族医学
fú lóng jiāng
伏龙浆
sūn jiā cūn qīng zhēn sì
孙家村清真寺
bèi yǐng dào qiàn
背影道歉
cè xiàng gāng dù bǐ
侧向刚度比
shí zhù shēng huó wǎng
石柱生活网
guì shān jiē dào
桂山街道
lín xiǎo kē
林晓珂
qiáng wēi de yán sè
蔷薇的颜色
yī liáo hū jiào qì
医疗呼叫器
wù rě dì guó zǒng cái
误惹帝国总裁
词语词性
拟声词
代词
动词
名词
形容词
副词
量词
介词
连词
数量词
数词
助词
疑问词
成语
词语组合
生肖
四季
数字
动物
植物
颜色
方位
味道
自然
身体
武器
词语组词
AA式
ABCC式
AABB式
AABC式
ABB式
ABAC式
AAB式
ABCB式
ABBC式
ABAB式
ABCA式
A里AB式
词语首拼
A
B
C
D
E
X
F
G
H
J
K
L
M
N
Z
Y
O
W
P
R
S
T
友情链接:
词语词典
古诗三百首
成语字典
返回