Bir çıkarımın öncüller kümesini oluşturan önermelerden herhangi biri mukaddem.