Dolaylı doğrulama nedir?

Doğrulanabilir önermeler, doğrulanmış başka bazı önermelerle birleştirilerek doğrulanmaları sağlanır. Örn:”Anahtar demirden yapılmıştır” önermesini doğrulayalım; Fizik kanununa göre “demirden yapılmış; nesne mıknatısla çekilir”. “mıknatıs çubuk şeklindedir”(doğrulanmış bir önermedir) Anahtar çubuk nesneye yakın konmuş (doğrudan doğrulanmıştır) Sonuç olarak anahtar şimdi çubuk nesne tarafından çekilecektir. Bu durumda anahtarın demirden yapıldığı dolaylı olarak doğrulanmıştır.