Mantık, doğru ve yanlış değerlerle ilgilenen bir disiplindir. Günlük hayatta "ve" kelimesini kullandığımızda, genellikle iki şartın da aynı anda geçerli olmasını ifade ederiz. Mantıkta da "Ve" bağlacı (∧) tam olarak bu anlama gelir.
İki önermenin "ve" bağlacı ile birleştirilmesiyle oluşan bileşik önerme, yalnızca her iki önerme de doğru olduğunda doğru, diğer tüm durumlarda ise yanlıştır.
Matematiksel olarak, \( p \) ve \( q \) gibi iki önermemiz olsun. Bileşik önerme \( p ∧ q \) şeklinde gösterilir.
Bir bileşik önermenin tüm olası durumlardaki doğruluk değerini gösteren tabloya doğruluk tablosu denir. İki önerme olduğu için \( 2^2 = 4 \) farklı olası durum vardır.
| p | q | p ∧ q |
|---|---|---|
| 1 (Doğru) | 1 (Doğru) | 1 (Doğru) |
| 1 (Doğru) | 0 (Yanlış) | 0 (Yanlış) |
| 0 (Yanlış) | 1 (Doğru) | 0 (Yanlış) |
| 0 (Yanlış) | 0 (Yanlış) | 0 (Yanlış) |
Aşağıdaki örnekleri inceleyerek konuyu pekiştirelim:
Bu bileşik önerme ne zaman doğrudur? Sadece hem güneş parladığı hem de aynı anda yağmur yağdığı zaman! Yani doğruluk tablosundaki ilk satıra karşılık gelir. Diğer durumlarda (sadece güneş parlıyorsa, sadece yağmur yağıyorsa veya hiçbiri olmuyorsa) önerme yanlıştır.