在过去的几个小时里,我一直在努力解决这个问题,我在下面列出了我找到的唯一答案,似乎它可能会去某个地方,有人可以告诉我我是否走在正确的轨道上:
问题:
Gamma = { U-> PT….. 1
Q-> SU……2
W->Q……….3
T->WV…..4
V-> R……..5 }>
Q->WR
持有
任何意见,将不胜感激
在过去的几个小时里,我一直在努力解决这个问题,我在下面列出了我找到的唯一答案,似乎它可能会去某个地方,有人可以告诉我我是否走在正确的轨道上:
问题:
Gamma = { U-> PT….. 1
Q-> SU……2
W->Q……….3
T->WV…..4
V-> R……..5 }>
Q->WR
持有
任何意见,将不胜感激
Augmentation (Axiom of Augmentation): If X → Y, then XZ → YZ (from Wikipedia)
V -> R, hence WV -> WR
You said yourself, Q -> WV, therefore, Q -> WR by transitivity ?