CEVAP:

İlgili önermenin tümdengelimsel yasacı-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
"B_1^…^B_n^C_1^…^C_k" biçiminde bir
tümel-evetleme önermesidir (“^” simgesi tümelevetleme
eklemidir). B bileşenleri başlangıç
önermesi, C bileşenleri yasa-önermeleridir. B
önermelerinin bileşenleri arasında C
önermelerinin bileşenleri olmak zorundadı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-önerme, dolayısıyla
"B_1^…^B_n^C_1^…^C_k" bileşenlerinin her
biri doğrudur.