公理三：传递性 若X一Y,且Y一Z为F蕴含， 则X一Z亦为F蕴含。 证明：由X一Y,若：t[X]=u[X], 必有：t[Y]=u[Y]; 由Y一Z,若：t[Y]=u[Y] 必有：t[Z]=u[Z]; 故：若X一Y,且Y一Z为F蕴含， 则只要：t[X]=u[X]成立， 必有：t[Z]=u[Z]成立。所以命题成立。 证毕。 5 公理三 : 传递性 若X Y, 且Y Z为F蕴含, 则X Z亦为F蕴含。 证明:由X Y，若：t[X]= u[X]， 必有：t[Y]= u[Y]； 由Y Z，若：t[Y]= u[Y]， 必有：t[Z]= u[Z]； 故：若X Y, 且Y Z为F蕴含， 则只要：t[X]= u[X]成立， 必有：t[Z]= u[Z]成立。所以命题成立。 证毕