Bir önerme kalıbının asal ikilli'si, bu önerme kalıbında geçen tüm (doğrusal ya da doğrusal olmayan) eklemler ile tanıdeyimsel değişken bağlama imlerini ikilleriyle değiştokuş etmekle elde edilen önerme kalıbı dernektir. || Krş. ikil önerme kalıbı. Örn. (?)
TDK Mantık Terimleri Sözlüğü