（离散数学）命题逻辑推理一：直接推理

P说明这一行是前提，T说明这一行是结论 ，I说明该结论是由推导而来，E说明该结论是由化简而来，括号里的数字是推导这一结论需要的条件序号。

这种写法只是将重言蕴含的论证的思路进行了梳理 ，前件为真则后件为真、后件为假则前件为假。