黄老师，您好：

我在学习您的离散数学课程中，在1.3视频里的蕴含式例题上有个问题请教。
例：证明 (P->Q)∧(Q->R)=>P->R, 当推理到：
<=>（¬Q∨¬P)∨(Q∨R)时，您直接得出T. 除了¬Q∨Q得T外，不是还剩下¬P∨R吗？请解答，谢谢。

黄老师，您好：
我正在学习您网上的离散数学教程，发现第三章和第四章的视频教材没有。请问我怎么才可以学到这些内容？谢谢。

黄健斌老师，我之前给您发过一封电子邮件，到现在还没有收到您的回复，我真诚希望您能在百忙之中抽空看一下，我这边正急切等待您的回复，谢谢老师！