4.
https://imgur.com/SNXACqz
(b)不懂两者有啥关系
(d)\是什么符号？不过countable跟uncountable运算应该一定是uncountable就是了啦
6.
https://imgur.com/NigKhWN
不加上3V-6的条件是因为不知道是不是connected graph吗？
感谢~

connected不是问题 因为G如果不connected则G的补图必定connected 这可以证明所以如果有个图符合G跟自己补图同构 .那G必定connected(G跟G\bar不可能同时不connected)所以可以加上3V-6的限制 答案应该就是4 or 8没错https://i.imgur.com/vx32Q8H.jpg

6. 我认为单纯是没出好

另外补充一下，4(a)是True不能调换的是存在跟全称，两个存在或两个全称是可以调换的，而这里x跟y都是哑变元，换成任何符号都可以，只要不是把x,y换成x,x这种同样符号的就行

4(b)逻辑不需要因果关系，前提False所以是True(d)=S-T=S扣掉S∩T的元素

d的/是集合的减的意思 就像集合A减集合B：A-B=A/B 子嘉是用前者原来b是这样！！6.应该不是 我觉得只是老师没写完，这题可以导到n=4or8等等，我回去翻了一下定理有说要connected耶打错，就像R大所说的但是这样planar条件完全没用到...到底这是陷阱还是老师忘记打

Got it，所以逻辑是G或G'一定有一个连通，所以这个不等式一定要成立