。从以下方面阐述你的设计：

(1)SRS系统的数据结构（15分）

①数据结构的Pascal语句描述

②数据结构的示意图

③数据结构的简单文字说明

(2)SRS系统的算法要点（10分）

（只要简单的文字说明，不必写出Pascal程序）

①试卷成绩插入

②学生成绩查询

③成绩单输出

(3)简单陈我的上述设计的理由（5分）

论述题２

在一个盗窃案件中，已知下列事实：

①甲或乙是窃贼。

②若甲是窃贼，做案时间不会发生在是12点钟以前。

③若乙的证词正确，在夜间12点钟时被盗物品所在房间灯光未灭。

④若乙的证词不正确，则做案时间发生在夜间12点钟以前。

⑤夜间12点钟被盗房间灯光灭了。

根据以上事实解答或论证以各题：

(1)将①～⑤中所出现的简单命题符号化，然后用命题符号写出①～⑤各复合命题

的符号化形式。（10分）

(2)以(1)中给出的5个复合命题为前提，判断甲、乙二人谁是窃贼（以符号形式给

出）。（5分）

(3)用命题逻辑推理理论写出（2）中结论的判断过程（要求写出每一步所用的推理规则）。（15分）