Deneme Yöntemiyle İspat

• $p$ veya $p⟹q$ gibi bir iddia sonlu bir küme için tanımlanmışsa $x\in -1,0,1\text{ ic¸in }$
  $x^2<4$‘tür.
• o kümenin tüm elemanları tek tek denenerek iddia ispatlanır.

Örnek: $X\in z-2,-1,0,1,2$ ise $x^2<=4$‘tür.