Solved

Provide a Conterexample in a Finite Domain to Each Given

Question 38

Multiple Choice

provide a conterexample in a finite domain to each given invalid argument.
-1. (∀x) [Hx ⊃ (∃y) (Ix • Jxy) ]
2) Ha
3) Ib / Jab

A) Counterexample in a domain of two members, in which:
Ha: True Ia: True Jaa: True Jba: False
Hb: True Ib: False Jab: False Jbb: True
B) Counterexample in a domain of two members, in which:
Ha: True Ia: False Jaa: True Jba: False
Hb: False Ib: True Jab: False Jbb: True
C) Counterexample in a domain of two members, in which:
Ha: True Ia: True Jaa: True Jba: True
Hb: False Ib: True Jab: False Jbb: True
D) Counterexample in a domain of two members, in which:
Ha: False Ia: True Jaa: False Jba: True
Hb: True Ib: True Jab: True Jbb: True
E) Counterexample in a domain of two members, in which:
Ha: True Ia: True Jaa: False Jba: False
Hb: True Ib: False Jab: True Jbb: True

Correct Answer: