The negation of statement pattern (p q) (p q) is

Step-by-step solution

Finding the negation of S = (p q) (p q) reveals that it is a contradiction. The negation of an implication A B is A B , so S (p q) (p q) . Applying De Morgan's law, (p q) p q , resulting in S (p q) ( p q) . Rearranging terms yields (p p) ( q q) , which simplifies to F F since a proposition conjoined with its negation is false. Therefore, S F , confirming it is a contradiction. Alternatively, verifying that S is a tautology also shows its negation must be a contradiction. Thus, the negation of the statement pattern