简答题

判断下面集合关于指定的运算是否构成半群，独异点和群：
Q^*为正有理数集，运算是普通加法。

证明13≡1（mod 2）同余式成立．

问答题证明13≡1（mod 2）同余式成立．

判断下面集合关于指定的运算是否构成半群，独异点和群： Q*为正有理数集，运算是普通乘法。

问答题

判断下面集合关于指定的运算是否构成半群，独异点和群：
Q^*为正有理数集，运算是普通乘法。

求公式P→（Q∨R）的真值表。

问答题求公式P→（Q∨R）的真值表。