2 x Fo A-B iff for all y in S either not y Ho A or xUy Ho B. A formula A is true in Q if 0 |Ho A; c-valid if it ... If o, A, A, BH B, then 3, A, B F B, DR4.
確定! 回上一頁