Açıklayan önerme nasıl türetilebilir?
Açıklayan-önerme, yasa önermesini kapsayanaçıklayan-önermeden tümdengelimsel ya da tümevarımsalbir çıkarımla türetilebilmelidir.
