Solved

Determine Whether the Given Argument Is Valid or Invalid C) Invalid

Question 163

Multiple Choice

determine whether the given argument is valid or invalid. If it is invalid, select a counterexample.
-1. (?x) (Gx ? Hx)
2) (?x) (Gx • Ix)
3) (?x) (Gx • Jx)
4) (?x) (Jx ? Hx) / (?x) (Ix • Jx)


A) Valid
B) Invalid. Counterexample in a domain of 1 member, in which:
 Ga: True  Ha: True  Ia: True  Ja: True  Gb: True Hb: True Ib: True  Jb: True \begin{array} { l l l l } \text { Ga: True } & \text { Ha: True } & \text { Ia: True } & \text { Ja: True } \\\text { Gb: True} &\text { Hb: True } &\text {Ib: True }&\text { Jb: True } \\\end{array}
C) Invalid. Counterexample in a domain of 1 member, in which:
 Ga: False  Ha: True  Ia: True  Ja: True  Gb: True Hb: True Ib: True  Jb: False \begin{array} { l l l l } \text { Ga: False } & \text { Ha: True } & \text { Ia: True } & \text { Ja: True } \\\text { Gb: True} &\text { Hb: True } &\text {Ib: True }&\text { Jb: False } \\\end{array}
D) Invalid. Counterexample in a domain of 1 member, in which:
 Ga: True  Ha: True  Ia: True  Ja: True  Gb: True Hb: True Ib: True  Jb: False \begin{array} { l l l l } \text { Ga: True } & \text { Ha: True } & \text { Ia: True } & \text { Ja: True } \\\text { Gb: True} &\text { Hb: True } &\text {Ib: True }&\text { Jb: False } \\\end{array}
E) Invalid. Counterexample in a domain of 1 member, in which:
 Ga: False  Ha: True  Ia: False  Ja: False  Gb: False  Hb: True Ib: True  Jb: False \begin{array} { l l l l } \text { Ga: False } & \text { Ha: True } & \text { Ia: False } & \text { Ja: False } \\\text { Gb: False } &\text { Hb: True } &\text {Ib: True }&\text { Jb: False } \\\end{array}

Correct Answer:

verifed

Verified

Unlock this answer now
Get Access to more Verified Answers free of charge

Related Questions

Unlock this Answer For Free Now!

View this answer and more for free by performing one of the following actions

qr-code

Scan the QR code to install the App and get 2 free unlocks

upload documents

Unlock quizzes for free by uploading documents