Verify by the method of contradiction p : If a,`b in Z` , then `a^2-4b ne 2`

Explanation

To verify the statement \( P: \text{If } a, b \in \mathbb{Z}, \text{ then } a^2 - 4b \neq 2 \) using the method of contradiction, we will follow these steps:

### Step 1: Assume the Opposite
We start by assuming the opposite of the statement we want to prove. So, we assume:
\[ a^2 - 4b = 2 \]

...