SyntaxEdit · first-order logic operators '¬', '∧', '∨', '→', '≡', '∀' and '∃' · realization operator U · functional symbol δ · propositional variables p1,p2,p ...
確定！ 回上一頁
