https://maximummathematics.com/books/foundational-mathematics/proof/using-the-rules-of-inference/index.htmlIn the previous section, we collected a large sample of commonly occurring logical implications. We briefly touched on why we’d want such a list — to determine whether a given argument is valid. In addition to determining validity, we can also use the rules of inference to make valid deductions from a given list of premises. In this section, we work through several examples of both use cases. Determining an Argument’s Validity Suppose we’re presented with some argument: a list of premises, and a desired conclusion. We can determine if the argument is valid by appealing to the rules of inference.Hugoen-US