bugün

öncül

bir çıkarımın öncüller kümesini oluşturan önermelerinden herhangi biri , mukaddem, bir tasımda sonucu hazırlayan ilk iki önermeden her biri, mukaddem, bir bilimsel çalışmada ise koyulurken, araştırmaya konu edilmeksizin doğru sayılan önerme.