软件工程理论基础实验2：Coq中的命题和证明实验目的学习Coq中命题和证明的表示方法以及证明方法。实验内容根据课件及给定Coq文件（CoqCode2.v）学习Coq中命题和证明的表示方法及证明方法。掌握intros，apply等证明策略的使用方法。学会在Coq中对命题进行定义和声明及证明命题