Matematikte ve mantıkta, veya bağlacı en az iki önermeyi birleştirmek için kullanılır. Günlük dildeki "veya" kelimesine benzer, ancak bir önemli farkı vardır: Mantıktaki "veya" bağlacı, kapsayıcı veya'dır. Bu, iki önermeden en az birinin doğru olması durumunda bileşik önermenin doğru kabul edilmesi demektir.
Veya bağlacının sembolü ∨'dir. p ∨ q şeklinde gösterilir ve "p veya q" diye okunur.
Bir bileşik önermenin, bileşenlerinin tüm doğruluk değeri kombinasyonları için aldığı değerleri gösteren tabloya doğruluk tablosu denir. Veya (∨) bağlacının doğruluk tablosu aşağıdaki gibidir:
p | q | p ∨ q |
---|---|---|
1 (Doğru) | 1 (Doğru) | 1 (Doğru) |
1 (Doğru) | 0 (Yanlış) | 1 (Doğru) |
0 (Yanlış) | 1 (Doğru) | 1 (Doğru) |
0 (Yanlış) | 0 (Yanlış) | 0 (Yanlış) |
Özetle: Veya (∨) bağlacı, birleştirdiği önermelerden sadece ikisi de yanlış olduğunda sonuç yanlış olur. Diğer tüm durumlarda sonuç doğrudur.
p: "Bugün hava güneşli."
q: "Bugün hava yağmurlu."
p ∨ q önermesi: "Bugün hava güneşli veya yağmurlu."