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

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

问答题 请用一阶谓词逻辑法表示“太原市的夏天既干燥又炎热。”