Validity is defined in a couple of ways. I like to define it like this: An argument is valid iff the superconjunction1 of all the premises and the negation of the conclusion is impossible. It sounds a bit unusual at first but it is worded that way to prevent confusion about modalities. A more common…