SOLUTION: 1. (G->J)->(G->Q) 2. J*~Q //~H

Algebra ->  Proofs -> SOLUTION: 1. (G->J)->(G->Q) 2. J*~Q //~H      Log On


   

Question 1010096: 1. (G->J)->(G->Q)
2. J*~Q
//~H
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
This argument is invalid. This truth table shows how



Take note of line 12, which is marked in red. This line has true premises (T) but a false (F) conclusion. This occurs when...

G = false (F for false)
J = true (T for true)
Q = false (F for false)
H = true (T for true)

This line (line 12) tells us we have an invalid argument. An invalid argument occurs when all premises are true but they lead to a false conclusion.