逻辑变量造句