BSTS / Mantık Terimleri Sözlüğü
öncülsüz çıkarım anlamı İng. premiss-free inference Alm.premissenloser Schluss Fr. inférence sans prémisse
Öncüllerinin sayısı sıfıra eşit olan, başka bir deyişle hiç bir öncülü olmayan (...) p biçiminde bir çıkarım. || p önermesinin geçerliliği, öncülsüz (...) p çıkarımının geçerli olmasıyla tanımlanabilir.