数理逻辑造句