We reason using Definitions 2.13 and 2.4: [(<£ > V>)-<£f = [</>> V'F • [<AF Definition 2.13 = {«; | io • [0F Q [V>f } • [4>jv Definition 2.13 C I4>jv ...
確定! 回上一頁