olmayana ergi yöntemi

Cuma, 16 Şubat 2007

[İng. method of reductio ad absürdüm ] : Bir T matematik kuramına "A değil" önermesininin eklenmesiyle oluşan T' kuramı çelişkili olduğunda, A nın doğru bir önerme olduğunu belirten ispat yöntemi.

 

< Önceki		Sonraki >

ADnet Reklamları	Siz de reklam verin