问答题
用真值表方法证明下面各题: (1)P→(Q→R)=Q→(P→R). (2)(P→Q)∧(R→Q)=(P∨R→Q). (3)P→Q=¬P∨Q.
问答题 设Ai为某些实数的集合,定义为A0={a|a<1},Ai={a|a≤1-1/i}(i=1,2,),试证明:
问答题 将下列语句翻译成命题逻辑公式: 不劳动者不得食。
问答题 将下列语句翻译成命题逻辑公式: 生命不息战斗不止。