proposition constant 和proposition variable 為proposition formula ... 代數. Group 群. Ring 環. ring (R,+,‧),其中R為集合,+與‧為運算子,滿足.
確定! 回上一頁