Standard logic makes the likes of $latex \exists x(Fx \vee \neg Fx)$ a logical theorem: but a wff of that kind is not in general a logical ...
確定! 回上一頁