Question: What are some ways to test whether a statement is a logical consequence of another? One way is to assume the negation of the conclusion, and if a contradiction occurs during the proof, then it indicates that it is impossible for the Premises to be True and the Conclusion to be False. What are other ways to test for logical consequence?