# Symbolic Logic : Predicate Logic

Not what you're looking for?

The asterisk implies a conditional usually indicated by an arrow. The & sign indicates "and".

In Aristotelian logic (X)(FX*GX) logically implies

(EX)(FX & GX). Is this true in predicate logic? If not, why not?

##### Purchase this Solution

##### Solution Summary

A statement in Aristotelian logic is found not to hold true in predicate logic.

##### Solution Preview

Please see the attached file for the complete solution.

Thanks for using BrainMass.

In Aristotelian logic ...

##### Purchase this Solution

##### Free BrainMass Quizzes

##### Multiplying Complex Numbers

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

##### Probability Quiz

Some questions on probability

##### Geometry - Real Life Application Problems

Understanding of how geometry applies to in real-world contexts

##### Solving quadratic inequalities

This quiz test you on how well you are familiar with solving quadratic inequalities.

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