For example, the definition of \(\Diamond\) from \(\Box\) mirrors the equivalence of \(\forall xA\) with \({\sim}\exists x{\sim}A\) in predicate ...
確定! 回上一頁