- Bir ifadenin doğruluğunu değil yanlışlığını ispatlamada kullanılır. Bir ifadenin doğruluğu örnek verilerek ispat edilemez.
Örnek: "Tu¨m asal sayılar tek sayıdır." doğruluğunu veya yanlışlığını ispat ediniz.
- 2 asal sayıdır ve tek değildir, bu ifade yanlıştır.
Örnek: m.n c¸ift sayı ise m ve n c¸ift sayı olmak zorundadır. doğruluğunu ve yanlışlığını ispat ediniz.
- m=2,m=3, m.n=2.3=6→ c¸ift sayı.
- Bu ifade yanlıştır.
"∀X∈R ic¸in x2>0’dır." doğruluğunu veya yanlışlığını ispat ediniz.
- x=0→02>0 yanlış olur 0=0.z
- Bu ifadenin yanlış olduğunun ispatıdır.