问题
填空题
Armp公理系统的三条推理规则是自反律、______、增广律。
答案
参考答案：传递律
解析： Armstrong公理系统包括3条推理规则：
①自反律若[*]，则X→Y为F所逻辑蕴含。
②增广律 若X→Y为F所逻辑蕴含，且[*]，则XZ→YZ为F所逻辑蕴含。
③传递律 若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。
搜题请搜索小程序“爱下问搜题”
Armp公理系统的三条推理规则是自反律、______、增广律。
参考答案：传递律
解析： Armstrong公理系统包括3条推理规则：
①自反律若[*]，则X→Y为F所逻辑蕴含。
②增广律 若X→Y为F所逻辑蕴含，且[*]，则XZ→YZ为F所逻辑蕴含。
③传递律 若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。