试用谓词逻辑表达描述下列推理:（变元可选用x,y,z，谓词名一般用具有相应意义的英文单词表示。） （1)如果张三比李四大，那么李四比张三小。 （2)甲和乙结婚了，则或者甲为男，乙为女；或者甲为女，乙为男。 （3)如果一个人是老实人，他就不会说谎；张三说谎了，所以张三不是一个老实人。