Mantıkta ise bağlacı, iki önerme arasındaki koşul ilişkisini ifade eder. Bu ilişki, bir önermenin (öncül) doğru olması durumunda diğer önermenin (sonuç) de doğru olması gerektiğini belirtir. Sembolik olarak "→" şeklinde gösterilir.
İse bağlacı (koşullu önerme), iki önermeyi birbirine bağlayarak yeni bir önerme oluşturur. "p ise q" şeklinde ifade edilir ve "p doğru ise q doğrudur" anlamına gelir. Bu önermenin doğruluk değeri, aşağıdaki doğruluk tablosu ile belirlenir:
| p | q | p → q |
|---|---|---|
| Doğru | Doğru | Doğru |
| Doğru | Yanlış | Yanlış |
| Yanlış | Doğru | Doğru |
| Yanlış | Yanlış | Doğru |
Tablodan da görüleceği gibi, ise bağlacında sadece öncül doğru ve sonuç yanlış olduğunda önerme yanlış olur. Diğer tüm durumlarda önerme doğrudur.
Örnek 1:
p: "Hava yağmurlu."
q: "Yer ıslak."
p → q: "Hava yağmurlu ise yer ıslaktır."
Bu önerme, havanın yağmurlu olması durumunda yerin ıslak olacağını ifade eder. Ancak, yerin ıslak olması havanın kesinlikle yağmurlu olduğu anlamına gelmez (başka sebeplerle de ıslak olabilir).
Örnek 2:
p: "Sınavı geçersen."
q: "Sana hediye alırım."
p → q: "Sınavı geçersen sana hediye alırım."
Bu önerme, sınavı geçmeniz durumunda hediye alacağınızı belirtir. Ancak, sınavı geçemezseniz hediye alıp almayacağınız konusunda bir şey söylemez.
İse bağlacı, mantıksal düşünme ve analiz için önemli bir araçtır. Bu bağlacın özelliklerini ve kullanım alanlarını anlamak, karmaşık problemleri çözmek ve doğru çıkarımlar yapmak için gereklidir.