Purchase Solution

Symbolic Logic : Predicate Logic

Not what you're looking for?

Ask Custom Question

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.