参考推理步骤
方式一：
（只用基础推理方式）
（9），在 《新编实用》 和 李小克版 中 都没有直接提到
是依据 选言命题 真值表 所进行的 推理
也就是 何向东 2版，p. 77 的 析取引入推理
（12）、（13）对调也是可以的（即先连续推出 E、F）
方式二：
（10）、（11）对调也是可以的（即先连续推出 E、F）
说明
1、初始前提，要一开始就全部引入
2、命题序号在左边，相应说明在右边。
3、建议使用 括号数字（1）、（2）……
圆圈数字 ➀、➁…… 一般只能到 20
4、推出新结论时，如果使用了不止一个前提，这些前提都在要右边的说明中列出。
5、具体的推理形式、推理依据要写出。
6、一次只推出一个命题
以下写法不合适：
（1）E ∧ F 引入前提
* （2）E，F （1）联言命题分解式
新推出的结论可以再作为前提，上面的写法，（2）在被引用时，引用的是哪一个命题就不够直观。