Purchase Solution

Symbolic Logic : Symbolic Notation

Not what you're looking for?

Ask Custom Question

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.

Purchase this Solution
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.

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

Purchase this Solution
Free BrainMass Quizzes
Probability Quiz

Some questions on probability

Graphs and Functions

This quiz helps you easily identify a function and test your understanding of ranges, domains , function inverses and transformations.

Multiplying Complex Numbers

This is a short quiz to check your understanding of multiplication of complex numbers in rectangular form.

Know Your Linear Equations

Each question is a choice-summary multiple choice question that will present you with a linear equation and then make 4 statements about that equation. You must determine which of the 4 statements are true (if any) in regards to the equation.

Geometry - Real Life Application Problems

Understanding of how geometry applies to in real-world contexts

View More Free Quizzes
Related BrainMass Solutions

  • Translation of Math Symbols to English, Logic, Predicate Logic and Simplification

    35714 Math Symbols, Logic, Predicate Logic and Simplification Question 1. Translate each of the following statements into the notation of logic and predicate logic and simplify the negations of all. Which statements do you think are true?

  • Translation of Sentences into Symbolic Predicate Logic

    We translate various quantified sentences into symbolic predicate logic and form their negations.

  • Calculating statistics

    Find the error in symbolic notation in each of the following formulas. Explain why it is incorrect and provide the correct symbolic notation. a. z = (X - M) σ b.

  • Symbolic Logic: Modus Ponens and Modus Tollens

    516890 Symbolic Logic: Modus Ponens and Modus Tollens Symbolic Logic PART 1 1. Write two arguments in English, one in the form of modus ponens and one in the form of modus tollens.

  • Determine Truth Value for Propositions

    Solutions to three symbolic logic problems are given.

  • Symbolic logic

    =49 f (x) ) =2(x-3)2 =2(5-3)2 =2(2)2 =2(4) =8 Symbolic logic functions are examined.

  • Mathematical Logic

    185123 Mathematical Logic of Affirmative Policies Translate the following argument in symbolic form and determine whether it's logically correct by constructing a truth table.

  • Truth Tables Equivalent Statements

    Express the following sentences in symbolic notation. a) DATAENDFLAG is off but ERROR is not equal to 0. Solution: p ~q b) DATAENDFLAG is on and ERROR equals 0 but SUM is greater than or equal to 1,000.

  • Symbolic Logic Problem

    A symbolic logic expression is proven to be invalid. A derivative of the conclusion from the premise is provided. Invalid interpretation are analyzed.

View More Related Solutions