Determine whether or not the argument below is valid. Transcribe it into symbolic notation and if it is valid, provide a derivation of the conclusion from the premises using only primitive rules of inference.
The area of a triangle is the area of a three sided figure. Since triangles are three sided.
Fx: x is 3 sided
Gx: x is triangle
Axy: area of x is y
(x)(Gx -> Fx) : triangles are three sided (if x is ...
A statement is translated into symbolic notation.