符号化下列命题，并构造推理证明。任何人如果他是素食者，他就不喜欢吃肉;每一个人或者喜欢吃肉或者喜欢吃蔬菜;有的人不爱吃蔬菜。因而不是所有的人都是素食者。

今有a、b、c、d、e、f、g共7个球类运动爱好者，已知下列事实：a喜欢篮球运动;b喜欢篮球运动和足球运动;c喜欢篮球、排球和乒乓球运动;d喜欢网球和足球运动;e喜欢羽毛球和排球运动;f喜欢棒球、网球和乒乓球运动;g喜欢棒球和羽毛球运动。试问：这7个人应如何围圆桌排座位，才能使每个人和他身边的人有共同球类爱好话题。须写出所有可能方案。

设解释I如下：D={2，3}，已知f(2)=3，f(3)=2，F(2)=0，F(3)=1，G(2，2)=G(3，3)=0，G(2，3)=G(3，2)=1。

设图G如题29图所示。

(1)写出图G的邻接矩阵;

(2)G中长度为4的通路有几条?

(3)上问中有几条回路?

设无向图G有7个顶点，每个顶点的度数不是4就是5。证明：G中至少有5个度数为4的顶点或至少有4个度数为5的顶点。

含有n个命题变元的命题公式，共有_________组指派。