use the following key to translate each of the given arguments into symbols of PL.
B: Brouwer is an intuitionist.
F: Frege is a logicist.
G: Gödel is a platonist.
H: Hilbert is a formalist.
-It is not the case that either Frege is a logicist or Brouwer is an intuitionist. Gödel being a platonist is necessary and sufficient for Brouwer being an intuitionist. Hilbert is a formalist. So, Gödel is not a platonist; however, Hilbert is a formalist.

Question

use the following key to translate each of the given arguments into symbols of PL.
B: Brouwer is an intuitionist. 
F: Frege is a logicist.
G: Gödel is a platonist. 
H: Hilbert is a formalist.
-It is not the case that either Frege is a logicist or Brouwer is an intuitionist. Gödel being a platonist is necessary and sufficient for Brouwer being an intuitionist. Hilbert is a formalist. So, Gödel is not a platonist; however, Hilbert is a formalist.

Quizplus · Accepted Answer

The Answer of use the following key to translate each of the given arguments into symbols of PL.
B: Brouwer is an intuitionist. 
F: Frege is a logicist.
G: Gödel is a platonist. 
H: Hilbert is a formalist.
-It is not the case that either Frege is a logicist or Brouwer is an intuitionist. Gödel being a platonist is necessary and sufficient for Brouwer being an intuitionist. Hilbert is a formalist. So, Gödel is not a platonist; however, Hilbert is a formalist.

Use the Following Key to Translate Each of the Given