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.
-If Gödel is a platonist, then Frege is a logicist. If Frege is a logicist, Brouwer being an intuitionist is a sufficient condition for Hilbert being a formalist. Gödel is a platonist. Gödel is a platonist if Hilbert is a formalist. Therefore, Gödel is a platonist if Brouwer is an intuitionist.

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.
-If Gödel is a platonist, then Frege is a logicist. If Frege is a logicist, Brouwer being an intuitionist is a sufficient condition for Hilbert being a formalist. Gödel is a platonist. Gödel is a platonist if Hilbert is a formalist. Therefore, Gödel is a platonist if Brouwer is an intuitionist.

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.
-If Gödel is a platonist, then Frege is a logicist. If Frege is a logicist, Brouwer being an intuitionist is a sufficient condition for Hilbert being a formalist. Gödel is a platonist. Gödel is a platonist if Hilbert is a formalist. Therefore, Gödel is a platonist if Brouwer is an intuitionist.

Use the Following Key to Translate Each of the Given