Tümel evetleme, mantıkta "ve" anlamına gelen bir bağlaçtır. Sembolü ∧'dir. İki önermenin ikisinin de doğru olması durumunda sonucun doğru (1), diğer tüm durumlarda ise yanlış (0) olduğu bir işlemdir.
Bir p ∧ q bileşik önermesi, yalnızca hem p hem de q önermeleri doğruysa doğrudur. Matematiksel olarak şu şekilde ifade edebiliriz:
p ∧ q ≡ 1 ancak ve ancak p = 1 ve q = 1.
Aşağıda, tümel evetleme işleminin tüm olası durumlarını gösteren doğruluk tablosu bulunmaktadır:
Bu durumları bir tablo ile daha düzenli gösterelim:
| p | q | p ∧ q |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
"Hava güneşli ve sıcak" önermesini ele alalım.
Tümel evetleme (∧) işlemi, iki önermenin ikisinin de doğru olmasını gerektiren sıkı bir mantık operatörüdür. Doğruluk tablosunu öğrenmek, mantık devreleri ve programlama gibi birçok alanda temel bir beceridir.