試由amstrong 公理系統(tǒng)推導(dǎo)出下面三條推理規(guī)則: ( 1 )合并規(guī)則:若X 一Z , X 一Y ,則有X 一YZ ( 2 )偽傳遞規(guī)則:由x 一Y ,明吟z 有翔一z ( 3 )分解規(guī)則:x 一Y , zcy ,有x 一z