设[tex=0.857x1.0]zkVuLx/VQ1XnCvAv90B7dQ==[/tex]是二元谓词，给定解释[tex=0.5x1.0]3EF1VcotinZAjtQqtSWaxw==[/tex]如下：[tex=3.857x1.357]gg4ZcHD0kUUwLyohcM8q4Q==[/tex]，[tex=7.786x1.357]hATmRj0X8M2KKmHndIk5zruv73EiDbmtG/OCe558zhw=[/tex]，[tex=7.643x1.357]F+i+Rwnin1HGfDMH4R7gvIXKhx/5qz8ggM7UZb/YH0A=[/tex]求下列公式的真值.（1）[tex=4.0x1.357]JQxs659SC/tMV9J5TpBsoWSZFtO/KrNo/fy02o2VXLY=[/tex]；（2）[tex=5.0x1.357]Vs8Vcw/zPN7kvQW5F7NycDm86A88hG2NZrfhaWYRg6o=[/tex]；（3）[tex=5.0x1.357]JkD4rOPOTGr/OWibDVoL/rZ2qulEEPImLIDiTNuUkJQ=[/tex].
举一反三
- 设P是二元谓词,给定解释Ⅰ如下:[tex=12.643x2.786]pKBG8Nht21i9+yyFS00lmxrWZD9tRgVRmQwhmY7TToB+WQqTJmzwHLvQZwZrZcHTgH9HqQSx7Q7BzCVwhTALFQ==[/tex]求下列公式的真值：[tex=4.0x1.357]JQxs659SC/tMV9J5TpBsoWSZFtO/KrNo/fy02o2VXLY=[/tex]
- 设P是二元谓词,给定解释Ⅰ如下:[tex=12.643x2.786]pKBG8Nht21i9+yyFS00lmxrWZD9tRgVRmQwhmY7TToB+WQqTJmzwHLvQZwZrZcHTgH9HqQSx7Q7BzCVwhTALFQ==[/tex]求下列公式的真值：[tex=5.0x1.357]JkD4rOPOTGr/OWibDVoL/rZ2qulEEPImLIDiTNuUkJQ=[/tex]
- 6个顶点11条边的所有非同构的连通的简单非平面图有[tex=2.143x2.429]iP+B62/T05A6ZTM0eeaWiQ==[/tex]个，其中有[tex=2.143x2.429]ndZSw3zT0QTOVLVdoUto1Q==[/tex]个含子图[tex=1.786x1.286]J+vVZa2YaMpc6mJBbqVvWw==[/tex]，有[tex=2.143x2.429]lmhx48evnQMhi03NovPXig==[/tex]个含与[tex=1.214x1.214]kFXZ1uR8GjycbJx+Ts2kyQ==[/tex]同胚的子图。供选择的答案[tex=3.071x1.214]3KinXFh3SXhZ7nIe1y9KEV6aadxhhJWeEy6Dij1iObdMUZkY6ZA5J2dVVjPSuhEf[/tex]：(1) 1 ;(2) 2 ;(3) 3 ; (4) 4 ;(5) 5 ;(6) 6 ; (7) 7 ; (8) 8 。
- 设P是二元谓词,给定解释Ⅰ如下:[tex=12.643x2.786]pKBG8Nht21i9+yyFS00lmxrWZD9tRgVRmQwhmY7TToB+WQqTJmzwHLvQZwZrZcHTgH9HqQSx7Q7BzCVwhTALFQ==[/tex]求下列公式的真值：[tex=5.0x1.357]Vs8Vcw/zPN7kvQW5F7NycDm86A88hG2NZrfhaWYRg6o=[/tex]
- 判断下列命题是否为真：（1）[tex=3.643x1.357]/5abqJjwKZ1qr+6hsVFF5EBvfq3ggOFNlHMClz0h9nk=[/tex]（2）[tex=2.929x1.357]rGJpyjIjJpbcoBTWxP0Jiw==[/tex]（3）[tex=4.5x1.357]2wycHMoqU83MyEp17iBils58bR7YLuCTI2G9NVAdlfY=[/tex]（4）[tex=5.214x1.357]CTz2gu+IIm1GgNmYMGaduCRtA41wnW4WqwRWwEhq6aA=[/tex]（5）[tex=4.857x1.357]1DcE2BMMOaZhTuxR/mjgsboXxfg5ET59Dp4I/jjEDuw=[/tex]（6）[tex=4.643x1.357]BSryrsQYOvTP2hTWRu6t4nAuJwlSs4L9jaq70EpB+Us=[/tex]（7）若[tex=6.0x1.357]y0IZLUnBO88nR8WBZYvd7QXv5S1OMINV5cQNzPyiyAc=[/tex]，则[tex=3.429x1.357]1brfPwTkVVIX4GfoMIUskA==[/tex]（8）若[tex=7.643x1.357]MhLfJXZnhbXiB0x3oNtFzThV4Y1mJxe1VYr7PkJE/T6hmTD3WWp+UxbNwvUQ6DHk[/tex]，则[tex=4.143x1.357]LZUA94ISo1po5HWsOVeBCjo0rMvj7uw3bGw5HiZenrI=[/tex]