logic - 与一阶命题逻辑子句混淆

Question

我有两个命题p和q。那么将子句写成这样是否合法： q ∧ p ∧ ¬ p 我假设在这种情况下 p ∧ ¬ p = F 将始终为 False，因此该子句将 q ∧ F = F 导致整个子句为 False。