填空题
令F（x）：x是火车，G（y）：y是汽车，H（x，y）：x比y快，命题“说火车都比汽车快是不对。”的符号化形式为（）。
问答题 求证：对任意自然数n，（3+√5）n+（3-√5）n能被2整除。
问答题 如图所示无向图G中存在完美匹配吗？为什么？
问答题 给定连通平面图G=〈V，E，F〉，且对于任意f∈F，d（f）≥k≥3。证明：|E|≤k（|V|-2）/（k-2）。
