Logical disjunction
Yazeka
Arama sonuçlarına dayanarak oluşturuldu
Mantıksal ayrılma (disjunction), iki önermenin en az birinin doğru olması durumunda geçerli olan mantıksal bir işlemdir. Bu işlem, "veya" sembolü (v) ile gösterilir ve önermelerden biri veya her ikisi birden doğru olduğunda sonuç doğrudur.12
Ayrılma işlemi, önermeler arasında bağ kurarak mantıksal hesaplamalarda kullanılır. Örneğin, p ve q önermelerinden en az biri doğru ise p v q ifadesi doğru olur.23
Bu mantıksal operatör, bilgisayar programlamasından matematiksel ifadelere kadar geniş kullanım alanına sahiptir. Özellikle çoklu koşullu ifadelerde tercih edilir.13