证明下面等值式：[tex=15.5x1.357]JkD4rOPOTGr/OWibDVoL/gqlh4HiGBlXWSJmROg9jxKJSDj4vW+5ZzrpIwvHwo8IQUkDhIhDCQaxyKLDhXzGt0j87g7bBO0SU7sI5yhpaf0=[/tex]。

设P是二元谓词,给定解释Ⅰ如下:[tex=12.643x2.786]pKBG8Nht21i9+yyFS00lmxrWZD9tRgVRmQwhmY7TToB+WQqTJmzwHLvQZwZrZcHTgH9HqQSx7Q7BzCVwhTALFQ==[/tex]求下列公式的真值：[tex=5.0x1.357]JkD4rOPOTGr/OWibDVoL/rZ2qulEEPImLIDiTNuUkJQ=[/tex]

设个体域为整数集，下列公式中其真值为T的是哪儿个? 未知类型：{'options': ['[tex=6.071x1.357]Vs8Vcw/zPN7kvQW5F7NycEKSsCC4HcpW1BtvkiCPhxo=[/tex]', '[tex=7.071x1.357]80V0cBZ9u/6P9adpQqggd0KoYObt5O7A7ynWgbzSe4s=[/tex]', '[tex=6.571x1.357]Ab8zVcSaawMRd84sw7i/JJR60HxjxmMAzZYgWnSDUkI=[/tex]', '[tex=6.571x1.357]JkD4rOPOTGr/OWibDVoL/nNrG+vvKyqEIYvTdyxpCRQ=[/tex]'], 'type': 102}

设个体域为整数集，下列公式中其真值为[tex=0.786x1.0]aYcM4sj7RNw2vUMpziCb7Q==[/tex]的是哪几个? 未知类型：{'options': ['[tex=6.071x1.357]3n+y/eQWScbr4csnItcl/iXaOAFgPmhr4gSxIZU5Sxw=[/tex]', '[tex=5.929x1.357]80V0cBZ9u/6P9adpQqggd0KoYObt5O7A7ynWgbzSe4s=[/tex]', '[tex=6.071x1.357]em1F7YXzKPoGJEJOwL/ORqGSAHH7j+LmHE/uAEirA9M=[/tex]', '[tex=5.929x1.357]JkD4rOPOTGr/OWibDVoL/nNrG+vvKyqEIYvTdyxpCRQ=[/tex]'], 'type': 102}

设[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].