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