Question 1

determine whether the given argument is valid or invalid. If it is valid, provide a derivation of the conclusion from the premises. If it is invalid, provide a counterexample.
-1. (∃x)[Ax • (Bx $ \lor $ Cx)]
2. (∀x)(Bx ⊃ ∼Cx)
3. (∃x)Bx
4. Ca / (∃x)(Ax • Cx)

Accepted Answer

The answer of determine whether the given argument is valid...

Question 2

determine whether the given formula is a logical truth of M or not. If it is a logical truth, provide a proof of the formula. If it is not a logical truth, provide a counterexample in a finite domain.
-(∀x)(Ax ⊃ ∼Bx) $ \lor $ (∃x)(Ax • Bx)

Accepted Answer