问答题 2与5都是素数的命题符号化，并指出其真值。

问答题 ln1是整数的命题的否定式，并将原命题及其否定式都符号化，最后指出否定式的真值。

问答题 2.5是自然数的命题的否定式，并将原命题及其否定式都符号化，最后指出否定式的真值。