İkilem: Koşullu ve seçenekli önermelerin birleşmesinden oluşan kıyastır. Koşullu Kıyas: İki veya daha çok basit önermenin koşul bildiren eklemlerle birbirine bağlanmasıyla oluşan kıyastır. Ayrık Öncüllü Kıyas: Bu tür kıyaslarda en az bir öncül “veya, ya da, yahut” eklemi almıştır.