# 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

##### Exponential Expressions

In this quiz, you will have a chance to practice basic terminology of exponential expressions and how to evaluate them.

##### Multiplying Complex Numbers

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

##### Geometry - Real Life Application Problems

Understanding of how geometry applies to in real-world contexts

##### Graphs and Functions

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

##### Probability Quiz

Some questions on probability