计算题 用0元谓词将下列命题符号化：只要4不是素数，3就是素数。