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