Bir Önermenin Doğruluğunu İspat Etmek İçin Karşıt Önermenin Saçmalığını Göstermeye Dayanan Akıl Yürütme
|
Birinin doğru olması ötekinin yanlışlığını gerektiren iki önermenin oluşturduğu dizge
|
Şartlı Bir Önermenin Şartı Anlatan Ön Bölümü
|
Tasım mantığında, bir önermenin anlamı
|
anlama
|
çelişiklik ilkesi
|
doğrulamak
|
evirme
|
gerekçe
|
önerti
|