2018.5.26 公式 是否为合式公式 ⊤\top⊤ 是 P∧(Q∨R→P)P\wedge (Q \vee R\to P)P∧(Q∨R→P) 是 PPP 是 P⇒QP\Rightarrow QP⇒Q 否 相关文章：