问答题
设Q为有理数集（既约分数的集合），F为n/m形分数集合，其中m，n是整数，m≠0，对分数集F证明：如下定义的F上的等价关系～是〈F，-，+〉（这里，-为一元添负号运算）上的司余关系。
问答题 用等值演算法判断以下公式的类型，对不是重言式的可满足式，再用真值表法求出成真赋值。 ￢（p∧q→q）
问答题 设公式A=p→q，B=p￢∧q，用真值表验证公式A和B适合德摩根律： ￢（A∨B）￢A￢∧B
问答题 在自然推理系统P中构造下面推理的证明。 明天是晴天，或是雨天；若明天是晴天，我就去看电影；若我看电影，我就不看书，所以，如果我看书，则明天是雨天。
