• 2021-04-14
    如果P和Q是FOL语句,那么()也是。