Ve (Λ) ve veya (V) mantık bağlaçları, önermeler arasında ilişki kurmak için kullanılır. Ve bağlacı (Λ), p ve q önermeleri arasında kullanılarak "p ve q" bileşik önermesini elde etme işlemidir. Veya bağlacı (V), p ve q önermeleri arasında kullanılarak "p veya q" önermesini elde etme işlemidir. Mantık, geçerli çıkarım biçimlerini inceleyen bir disiplindir.