共用题干题

R为实数集，定义以下六个函数f₁，...f₆，x，y∈R有
f₁（）=x+y                         f₂（）=x-y
f₃（）=x*y                          f₄（）=max（x，y）
f₅（）=min（x，y）         f₆（）=|x-y|

对所有R上的二元运算说明是否为可交换，可结合，幂等的。

验证〈F，。〉是一个群。

问答题验证〈F，。〉是一个群。

试证明下列等价式，并指出它们的对偶式： ①¬（P∧Q）→（¬P∨（¬P∨Q））⇔¬P∨Q ②（P∨Q）∧（¬P...

问答题

试证明下列等价式，并指出它们的对偶式：
①¬（P∧Q）→（¬P∨（¬P∨Q））⇔¬P∨Q
②（P∨Q）∧（¬P∧（¬P∧Q））⇔¬P∧Q
③（Q∨¬（¬P∨¬Q）∧P）⇔¬P∨Q

求证：对正整数n，证明只需检验n的各位数字之和是否能被3或9整除，便可以分别判定n是否能被3或9整除．

问答题求证：对正整数n，证明只需检验n的各位数字之和是否能被3或9整除，便可以分别判定n是否能被3或9整除．