Koşullu önerme, iki önermenin "Eğer... ise..." şeklinde birbirine bağlanmasıyla oluşan birleşik bir önermedir. Bu tür önermelerde birincisine hipotez (öncül), ikincisine ise hüküm (sonuç) denir.
Koşullu önermeyi sembollerle ifade ederken kullandığımız bazı işaretler ve bu işaretlerin anlamları şunlardır:
Yani, "Eğer p ise q" önermesini sembolik olarak $p \Rightarrow q$ şeklinde ifade ederiz.
Koşullu önermenin doğruluk değeri, hipotezin ve hükmün doğruluk değerlerine bağlıdır. Doğruluk tablosu aşağıdaki gibidir:
| p | q | $p \Rightarrow q$ |
|---|---|---|
| Doğru (D) | Doğru (D) | Doğru (D) |
| Doğru (D) | Yanlış (Y) | Yanlış (Y) |
| Yanlış (Y) | Doğru (D) | Doğru (D) |
| Yanlış (Y) | Yanlış (Y) | Doğru (D) |
Bu tabloya göre, bir koşullu önerme sadece hipotez doğru ve hüküm yanlış olduğunda yanlış olur. Diğer tüm durumlarda doğrudur.
Bir $p \Rightarrow q$ koşullu önermesinin karşıtı, tersi ve karşıt tersi aşağıdaki gibi tanımlanır:
Burada $\neg$ sembolü "değil" anlamına gelir ve bir önermenin olumsuzunu ifade eder.