简答题

设公理集：
P，
（P∧Q）→R，
（S∨T）→Q，
T
用归结原理求证：R

画出下列知识的语义网络：“籍贯为湖南的张山在信息学院读书，该学校位于健翔桥附近，该校由计算机系、信息系和通信系组成。” 点击查看答案

请用一阶谓词逻辑法表示“太原市的夏天既干燥又炎热。” 点击查看答案