Question 975438
Symbols Note: 
* I'm going to use "->" in place of the horseshoe
* I'm going to use & in place of the dot
* I'm going to use = in place of the triple equals sign



--------------------------------------------------------------------------------------

First assume that the argument is invalid. Recall that an argument is invalid if all premises are true with a false conclusion



So in this form



<table border=1><tr><th>premise1</th><th>/</th><th>premise2</th><th>/</th><th>premise3</th><th>//</th><th>conclusion</th></tr><tr><td>T</td><td></td><td>T</td><td></td><td>T</td><td></td><td>F</td></tr></table>



So for this particular argument, I'm going to place F under the outermost connector "=" in the conclusion. Also I'm going to place T's under the outermost connectors of each premise (see below)



<table border=1><tr><th>E</th><th>-&gt;</th><th>J</th><th>/</th><th>B</th><th>-&gt;</th><th>Q</th><th>/</th><th>D</th><th>-&gt;</th><th>(J</th><th>&amp;</th><th>~</th><th>Q)</th><th>//</th><th>(E</th><th>&amp;</th><th>B)</th><th>=</th><th>D</th></tr><tr><td></td><td>T</td><td></td><td></td><td></td><td>T</td><td></td><td></td><td></td><td>T</td><td></td><td></td><td></td><td></td><td></td><td></td><td></td><td></td><td>F</td><td></td></tr></table>


Note: The table form is a bit ugly, but it's the only way I could separate each term enough (to give the proper amount of alignment and spacing). 



Then we try to find the truth values of all the symbols to force it to be invalid



Now let's assume D is false. If that's the case, then (E&B) would have to be true. Place a T under the & in the conclusion. That forces E and B to both be true. So I'm going to place T's under the E and B in the conclusion



<table border=1><tr><th>E</th><th>-&gt;</th><th>J</th><th>/</th><th>B</th><th>-&gt;</th><th>Q</th><th>/</th><th>D</th><th>-&gt;</th><th>(J</th><th>&amp;</th><th>~</th><th>Q)</th><th>//</th><th>(E</th><th>&amp;</th><th>B)</th><th>=</th><th>D</th></tr><tr><td>T</td><td>T</td><td></td><td></td><td>T</td><td>T</td><td></td><td></td><td></td><td>T</td><td></td><td></td><td></td><td></td><td></td><td>T</td><td>T</td><td>T</td><td>F</td><td>F</td></tr></table>



If E is true, then J has to be true for E -> J to be true. Place a T under the J in premise1
If B is true, then Q has to be true for B -> Q to be true. Place a T under the Q in premise2
Place T's under the J and Q in premise3
Q is true, so ~Q is false. Place a F under the ~ next to the Q in premise3
overall, J&~Q is false, so place a F under the & in premise3
premise3 is forced to be true, (J&~Q) is false, so D must also be false (leading us back full circle to the initial assumption)

So here is what the full updated indirect truth table looks like



<table border=1><tr><th>E</th><th>-&gt;</th><th>J</th><th>/</th><th>B</th><th>-&gt;</th><th>Q</th><th>/</th><th>D</th><th>-&gt;</th><th>(J</th><th>&amp;</th><th>~</th><th>Q)</th><th>//</th><th>(E</th><th>&amp;</th><th>B)</th><th>=</th><th>D</th></tr><tr><td>T</td><td>T</td><td>T</td><td></td><td>T</td><td>T</td><td>T</td><td></td><td>F</td><td>T</td><td>T</td><td>F</td><td>F</td><td>T</td><td></td><td>T</td><td>T</td><td>T</td><td>F</td><td>F</td></tr></table>



You'll notice that there are no contradictions. So assuming D is false leads to no contradictions. 
Let's assume D is true
Following the same sort of logic, we will have this updated table (the second row of Ts and Fs corresponds to when D is true). I'm skipping showing the detailed step by step picture to save time/space. Hopefully my steps above will be enough to help you see how I'm getting this new row



<table border=1><tr><th>E</th><th>-&gt;</th><th>J</th><th>/</th><th>B</th><th>-&gt;</th><th>Q</th><th>/</th><th>D</th><th>-&gt;</th><th>(J</th><th>&amp;</th><th>~</th><th>Q)</th><th>//</th><th>(E</th><th>&amp;</th><th>B)</th><th>=</th><th>D</th></tr><tr><td>T</td><td>T</td><td>T</td><td></td><td>T</td><td>T</td><td>T</td><td></td><td>F</td><td>T</td><td>T</td><td>F</td><td>F</td><td>T</td><td></td><td>T</td><td>T</td><td>T</td><td>F</td><td>F</td></tr><tr><td>T or F</td><td>T</td><td>T</td><td></td><td>F</td><td>T</td><td>F</td><td></td><td>T</td><td>T</td><td>T</td><td>T</td><td>T</td><td>F</td><td></td><td>T or F</td><td>F</td><td>F</td><td>F</td><td>T</td></tr></table>



Note: The E in premise1 and E in the conclusion could either be True or False. You'll find it doesn't matter. So that's why I put "T or F" under those "E"s



Again I couldn't find any contradictions for either row. Since there are no contradictions, this means that the claim "the argument is invalid" initially made goes unchallenged. The claim is true.


So the argument is indeed <font color="red">invalid</font>. Those two rows prove that there is a way to set up the truth values to where the premises are all true which lead to a false conclusion.