北航2002编译原理

北京航空航天大学数理逻辑与编译原理试题(2002年)一、(6’x2)在谓词逻辑中将下列命题符号化。存在最小的自然数。对于每个实数都存在比它大的有理数。二、(6’x2)以下公式是永真式、永假式吗？为什