Symbolic Logic Problem
Not what you're looking for?
Use the method of truth table expansion to determine whether or not the sentence below is a theorem of quantified logic. The # indicates a biconditional, usually indicated by a double arrow.
(EX)(Y)FXY#(Y)(EX)FXY
Purchase this Solution
Solution Summary
The validity of a symbolic logic expression is investigated. A method of truth table expansions are used.
Solution Preview
I am assuming that (EX) is the existential quantifier "There exists an x such that..." and that (Y) is the universal quantifer "For all Y the following holds..."
The trick is to pick a small finite universe, such as one with two elements A and B.
Then the expresion (EX)FX expands to FA v FB ( here I use "v" for logical or")
That is, for a unverse of two elements, if there exists an x such that the predicate F about x is true, this can only be the case if the predicate F is true for either the first element A or the second element B. Another way of saying this is that applying the existential quantifier to an expression is the same as applying to the "or" operation between each possible value of the ...
Purchase this Solution
Free BrainMass Quizzes
Variables in Science Experiments
How well do you understand variables? Test your knowledge of independent (manipulated), dependent (responding), and controlled variables with this 10 question quiz.
Intro to the Physics Waves
Some short-answer questions involving the basic vocabulary of string, sound, and water waves.
Basic Physics
This quiz will test your knowledge about basic Physics.
Introduction to Nanotechnology/Nanomaterials
This quiz is for any area of science. Test yourself to see what knowledge of nanotechnology you have. This content will also make you familiar with basic concepts of nanotechnology.
The Moon
Test your knowledge of moon phases and movement.