Lógica básica. Traduce las siguientes proposiciones a fórmulas de predicados.

Señor de Honor

(Cx: x intercambios académicos con muchas universidades famosas; h Universidad de Hunan)

Una traducción más compleja puede ser:

También x((UX amp; Chx) y amp~Chh)

(Reemplace "existencia" con cuantificador existencial, escriba e al revés; cxy: entre X e Y Intercambios académicos; Experiencia de usuario:

La traducción más simple:

Todo x (píxel->recibir)

(Reemplace "todos" con el cuantificador universal inverso; Px: x es persona; Rx: x respetar al profesor)

Esta frase se puede traducir de una forma más compleja. Sin embargo, dado que el significado de la palabra "respetar a los maestros" en esta oración es ambiguo, no está seguro si significa "respetar a todos los maestros" o "respetar a todos los maestros que conoce", por lo que no se recomienda utilizar una traducción más complicada. .

~También xFax.

(Reemplace "existencia" con cuantificador existencial, escriba e al revés; Fxy: y es amigo de x; Respuesta: Zhang San)

La negación en la traducción anterior amp significa; " "Y", es decir, intersección. Según sus hábitos o requisitos, puede cambiarlo a otros métodos de escritura correspondientes.