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.
© BrainMass Inc. brainmass.com March 4, 2021, 5:48 pm ad1c9bdddfhttps://brainmass.com/math/triangles/symbolic-logic-symbolic-notation-11521
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. The triangle is the area of a three sided figure are found. Primitive rules of inference are given.
$2.19