Purchase Solution

# 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

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

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