Multiple Choice
provide a conterexample in a finite domain to each given invalid argument.
-1. (∀x) [(∃y) (Fxy • Gy) ⊃ (∀y) (Gy ⊃ Fxy) ]
2) Ga / (∀x) (Fxa ⊃ Fax)
A) Counterexample in a domain of two members, in which: Ga: True Faa: True Fba: True
Gb: False Fab: False Fbb: True
B) Counterexample in a domain of two members, in which: Ga: True Faa: False Fba: True
Gb: True Fab: False Fbb: False
C) Counterexample in a domain of two members, in which: Ga: True Faa: True Fba: True
Gb: False Fab: True Fbb: False
D) Counterexample in a domain of two members, in which: Ga: False Faa: True Fba: False
Gb: False Fab: True Fbb: True
E) Counterexample in a domain of two members, in which: Ga: True Faa: False Fba: True
Gb: True Fab: True Fbb: False
Correct Answer:

Verified
Correct Answer:
Verified
Q269: use the following translation key to write
Q270: provide a conterexample in a finite domain
Q271: 1. (∀x)(Ecx ⊃ x=d)<br>2. (∀x){(Fx • Gx)
Q272: select the best translation into predicate logic,
Q273: use:<br>d: Diego <br>s: Sean<br>Dx: x is on
Q275: use the following translation key to write
Q276: use the following translation key to write
Q277: select the best translation into predicate logic,
Q278: derive the conclusions of each of the
Q279: select the best translation into predicate logic,