三.
3.在一阶逻辑中符号化下述命题,并推证之.
凡人必有一死,苏格拉底是人,所以苏格拉底会死的.
4.求以1,3,4,5,6权为的最优2元树.(写出步骤并计算它的权)
5.求Q∨(Q→R)的主析取范式及主合取范式