(assuming that you talk about propositional logic (it is similar for other logics such as pred. logic)). for two formulas A and B:
確定! 回上一頁