Premise 1: $\quad \exists x \ [A(x) \lor B(x)]$
Premise 2:$\quad \exists x \ \lnot A(x)$
Conclusion: $\quad \exists x \ B(x)$
The argument is invalid, but I can't find a counterexample.
Premise 1: $\quad \exists x \ [A(x) \lor B(x)]$
Premise 2:$\quad \exists x \ \lnot A(x)$
Conclusion: $\quad \exists x \ B(x)$
The argument is invalid, but I can't find a counterexample.
Copyright © 2021 JogjaFile Inc.
Choose $A(0)$ to be true and $A(x)$ to be false for all $x\neq 0$ and $B(x)$ to be false for all $x$.