Sets and Logic Statements in logic can be translated into set statements: For example, p ∧...

Sets and Logic Statements in logic can be translated into set statements: For example, p ∧ q is similar to P ∩ Q; p ∨ q is similar to P ∪ Q; and p → q is equivalent to ~p ∨ q, which is similar to P′ ∪ Q. Euler diagrams can also be used to show that arguments similar to those discussed in Section 3.5 are valid or invalid. Use Euler diagrams to show that the following symbolic argument is invalid.