Question

离散数学问题，求帮忙

1,：已知f(<a,b>)=<a+b,a-b>，证明f（x）是双射。
2:P：天气好，Q：游泳，R：讨论会取消。结论：若讨论会不取消，天气不好。求证
第一个问题已经解决了，第二个问题还没有，大家帮帮忙，谢谢了
第二题没发完整：天气好就去游泳，游泳则讨论会取消，结论：若讨论会不取消，则天气不好。
P：天气好，Q：游泳，R：讨论会取消

Answer 1

前提是P→Q，Q→R，结论是┐R→┐P。
附加前提证明法：
1 ┐R
2 Q→R
3 ┐Q 12拒取式
4 P→Q
5 ┐P 34拒取式
所以推理正确。