document.write( "Question 1188729: is the argument invalid or valid?\r
\n" ); document.write( "\n" ); document.write( "1. R ⊃ (K • U)
\n" ); document.write( "2. A ⊃ (Q • R)
\n" ); document.write( "3. S • A ∴ U
\n" ); document.write( "

Algebra.Com's Answer #819891 by math_tutor2020(3816)\"\" \"About 
You can put this solution on YOUR website!

\n" ); document.write( "An argument is invalid if we have all true premises that lead to a false conclusion. Otherwise, we consider it valid.\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "If premise 3 was true, then both statements S and A must be true. Otherwise S * A is false. The * or dot symbol means \"and\" in terms of logic. Refer to \"conjunction\".\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Since A is true, this means Q*R must be true. Recall that stuff of the form P -> Q is false when P = True and Q = false. Otherwise, P -> Q is true. The fact that statement A is true means we might have premise 2 to be false if Q*R were false. So that's why we need Q*R to be true.\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "If Q*R is true, then so are the individual components Q and R.\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Use this line of logic to see that R being true leads to K and U being true as well (premise 1).\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "As you can see, all three premises are true and they lead to a true conclusion (statement U). \r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Therefore, this argument is valid.
\n" ); document.write( "
\n" ); document.write( "
\n" );