“A, çünkü B” açıklama-önermesinin tümdengelimsel-yasacı bilimsel açıklama
modelindeki doğru olma koşulları şöyledir:
(i) “A” açıklanan-önermesi doğrudur.
(ii) “A” açıklanan-önermesi, “B” açıklayan-önermesinden bir tümdengelimsel
çıkarımla türetilir.
(iii) “B” açıklayan-önermesi “B1?...? Bn ? C1?...?Ck” biçiminde bir tümelevetleme
önermesidir. (Burada “?” simgesi tümel-evetleme eklemidir.)“B1”, ..., “Bn” bileşenlerinin her biri başlangıç önermesi denilen bir yalın önerme, “C1”, ..., “Ck” bileşenleri ise yasa-önermeleridir. “B” açıklayan-önermesinin bileşenleri arasında en az bir yasa-önermesinin (yani “C1”önermesinin) bulunması zorunludur. “A” açıklanan-önermesi yalın ise enaz bir başlangıç önermesinin (yani “B1” önermesinin) bulunması zorunludur.Ancak “A” yasa-önermesi ise hiçbir başlangıç önermesinin bulunmaması olanaklıdır.
(iv) “B” açıklayan-önermesi olumsal bir önermedir, yani “B” önermesinin
doğru olması da yanlış olması da olanaklıdır. “B” önermesinin bilimsel
yönteme dayanarak sınanması da olanaklıdır.
(v) “B” açıklayan-önermesi, dolayısıyla “B1”, ..., “Bn”, “C1”, ..., “Ck” bileşenlerinin
her biri doğrudur.