Armp公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且ZU，

搜题请搜索小程序“爱下问搜题”

问题填空题

Armp公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且Z

U，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【17】。

答案

参考答案：增广律

解析： Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且Z[*]U，则X2→YZ为F所逻辑蕴涵。这条推理规则称作增广律。

连词成句

连词成句。

1. special, Let's, dinner, have, a (.)

________________________________________________

2. is, the, dumplings, what, in (?)

________________________________________________

3. else, you, do, what, do (?)

________________________________________________

4. bought, yesterday, my, me, mother, a, skirt (.)

________________________________________________

5. is, a, day, special, it, in, China (.)

________________________________________________

问答题

代抵当汤2功效与作用