mantık terimi. iki koşullu, aynı sonuca ulaştıran alternatif tasım.
fatih sultanın lafı iyi örnektir;
padişahsan ordunun başına geç.
ben padişahsam, emrediyorum; ordunun başına geç.
klasik mantık dizgesinde;
a varsa b ve c zorunlu olarak vardır.
b ve c yoksa a zorunlu olarak yoktur.
yine mantıkta boynuzlu kanıt, dillemayla; kıyası mukkasimle eş anlamlıdır, koşut kullanılmıştır.
örneklersek;
nöbet yerinde idiniz veya nöbet yerinde değildiniz.
nöbet yerinde iseniz, düşmanın geldiğini göre göre haber vermediğiniz için,
nöbet yerinde değilseniz, nöbet beklememek suretiyle görev yapmadığınız için,
her iki şartta kuşuna dizilmenize.....
