计算题 推理证明下列各题的有效结论：p∨¬p，p→q，¬p→q=>q

画出底函数和顶函数的图像，并证明：x-1＜≤x≤＜x+1.

问答题

画出底函数和顶函数的图像，并证明：x-1＜≤x≤＜x+1.

推理证明下列各题的有效结论：p∧q→r，r∨s，s=>p∨q

问答题推理证明下列各题的有效结论：p∧q→r，¬r∨s，¬s=>¬p∨¬q

推理证明下列各题的有效结论：（p→q）→（r∨s），（q→p）∨r，r=>pq

问答题推理证明下列各题的有效结论：¬（p→q）→¬（r∨s），（q→p）∨¬r，r=>p↔q