Share
Explore BrainMass

Symbolic Logic : Symbolic Notation

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.

Solution Preview

Formalize:

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 ...

Solution Summary

A statement is translated into symbolic notation.

$2.19