Choose the main technique to prove the following statement:
x 2 + 2 x − 8 = 0 x^2 + 2x -8=0 has integer solutions.

Question

Choose the main technique to prove the following statement: 
 x 2 + 2 x − 8 = 0 x^2 + 2x -8=0  has integer solutions.

Answer

T6: Constructive proof to show  ∃ x P ( x ) ≡ T \exists x P(x) \equiv T

Answer

T7: Two-step proof to show  ∃ ! x P ( x ) ≡ T \exists ! x P(x) \equiv T

Answer

T1: Direct proof to show  ( p → q ) ≡ T (p 	o q) \equiv T

Answer

T5: Proof by cases to show  ( ( n ⋁ i = 1 p i ) → q ) ≡ T  \displaystyle \left(\left(\bigvee_{i=1}^n p_i ight) 	o q ight) \equiv T

Crowdly