逻辑功课请用欧拉图画出下列概念之间的外延关系.A.中国 B.中国人 C.香港D.亚洲国家 E.大学生 F.联合国 G.亚

逻辑功课
请用欧拉图画出下列概念之间的外延关系.
A.中国 B.中国人 C.香港
D.亚洲国家 E.大学生 F.联合国 G.亚洲
综合题
1.某仓库失窃,警方对犯罪嫌疑人张某、王某进行调查.甲、乙、丙、丁这四人对调查结果进行猜测：
甲说：他们都作了案.
乙说：他们都没作案.
丙说：他们当中一定有人没作案.
丁说：张某作案了.
最后结果显示,这四个人的猜测中只有一个正确.请问,张某是否作了案?王某是否作了案?请写出推理过程.
2.用形式证明的方法解答下题：
公司计划在A、B、C、D、E、F六名员工中选派若干人去外地参加竞标,根据公司目前工作的需要,必须考虑以下情况：
（1）A和E中一定要去一个,但不能都去；
（2）只有D去,B才不去；
（3）C去,而F不去；
（4）如果D和E都去,那么F也要去.
（5）E必须去
请问：应当安排哪些员工去?哪些员工不用去?请写出推理过程.
（令A表示：“A去”,﹁A表示：“A不去”,其余类推.）