"İse" ve "Ancak ve Ancak" bağlaçlarıyla yapılan bileşik önermelere koşullu önermeler denir. Koşullu önermeler tek yönde koşullu olabilecekleri gibi iki yönlü koşullu önermeler de içerebilir.
Bu konuda
'ise' ve 'ancak ve ancak' ile koşullu önermeler yapmayı
İki yönlü ve tek yönlü koşullu önermeler oluşturmayı
Koşullu önermenin tersini, karşıtını ve karşıt tersini almayı