select a counterexample for the given invalid argument.
-1. (∀x)[Tx ⊃ (∼Wx $ \lor $ Fx)]
2) (∀x)[(∼Wx • Tx) ⊃ ∼Fx]
3) (∃x)(Tx • Fx) / (∃x)(Tx • ∼Wx)
A) Counterexample in a domain of 1 member, in which: Ta: True Wa: False Fa: True
B) Counterexample in a domain of 1 member, in which: Ta: True Wa: True Fa: True
C) Counterexample in a domain of 1 member, in which: Ta: False Wa: True Fa: True
D) Counterexample in a domain of 1 member, in which: Ta: True Wa: True Fa: False
E) Counterexample in a domain of 1 member, in which: Ta: False Wa: True Fa: False

Question

Quizplus · Accepted Answer

Let the domain have only one member, and let Ta: True, Wa: True, and Fa: True. This makes the premises true, but the conclusion false, as there is no x such that Tx and not Wx. Therefore, the argument is invalid, and choice B provides a counterexample.

Select a Counterexample for the Given Invalid Argument ∨ \lor ∨

Select a Counterexample for the Given Invalid Argument $\lor$