CEVAP:

Açıklayan-önerme, yasa önermesini kapsayan
açıklayan-önermeden tümdengelimsel ya da tümevarımsal
bir çıkarımla türetilebilmelidir.