# Symbolic Logic Problem

Not what you're looking for?

I have to determine whether or not this formal argument below is valid. If it is I have to provide a derivation of the conclusion from the premises, which I don't know how to do. If it is invalid, an interpretation which shows the invalidity must be constructed. The & signs mean "and" usually signified by a dot. The asterisk signifies a conditional (usually signified by an arrow).

(X)((LX&DX)* FX)

(EX)(DX&~FX)

__________________

~(EX)LX

##### Purchase this Solution

##### Solution Summary

A symbolic logic expression is proven to be invalid. A derivative of the conclusion from the premise is provided. Invalid interpretation are analyzed.

##### Solution Preview

Please see the attached file for the complete solution.

Thanks for using BrainMass.

Invalid:

let ...

##### Purchase this Solution

##### Free BrainMass Quizzes

##### Geometry - Real Life Application Problems

Understanding of how geometry applies to in real-world contexts

##### Probability Quiz

Some questions on probability

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

##### Graphs and Functions

This quiz helps you easily identify a function and test your understanding of ranges, domains , function inverses and transformations.