题目一：
前提：
1. p => q
2. m => p | q
求证：
m => q
题目二：
求证：
(p => q => r) => (p => q) => p => r
是fitch演绎法的题目，麻烦知道的大神帮帮忙。