∨ Mantıksal VEYA

Q: Programlamada VEYA nasıl yazılır?

Genellikle ∨ ile değil. Çoğu dil || ya da or sözcüğünü, bit düzeyinde veya için | işaretini kullanır. ∨ belirtimlerde, makalelerde ve mantık araçlarında geçer.

Q: ∨ “ya biri ya öteki, ikisi değil” mi demek?

Hayır. O dışlayıcı veyadır, ⊻ ya da ⊕ ile yazılır. ∨ iki parça da doğruyken de doğrudur.

∨ ne anlama gelir

“P veya Q, belki ikisi birden.”

Bu kapsayıcı veyadır. Günlük hayatta “çay mı kahve mi?” genelde birini ister, ama mantıkta P ∨ Q; P doğruysa, Q doğruysa ve ikisi de doğruysa doğrudur, yalnızca iki yanlış parça onu yanlış yapar. “Yağmur yağıyor ∨ hava soğuk” soğuk ve yağmurlu bir günde de geçerlidir.

∨; (ve) ve (değil) ile birlikte ispatların ve doğruluk tablolarının çoğunu kuran üç işaretten biridir. Cebir ve sıralama kuramında aynı işaret en küçük üst sınırı gösterir: sayılar için a ∨ b ikisinden büyük olanıdır.

Bu işaret nereden geldi?

20. yüzyıl başının biçimsel mantığından.

∨'nin Latince vel (“veya”) sözcüğünün baş harfi olduğu sık söylenir ve akılda tutmak için işe yarar. Gerçek tarih daha karışıktır: Leibniz 1679 tarihli bir el yazmasında “veya” için harfe benzer bir işaret kullandı, ancak 2023 tarihli bir tarih çalışması bugünkü işareti ne ona ne de yalnızca vel'e bağlar. Bertrand Russell, Alfred North Whitehead ile çalışırken 1902–1903'te önermeler arasındaki “veya”yı kümelerin birleşiminden ayırmak için benzer bir gösterim kullandı; ∨ ayrışma için ilk kez 1906'da basıldı.

Mantık ve matematikten nötr teknik gösterim; emoji değildir, ton taşımaz.

Bu koleksiyonun parçası

➗

Math Symbols

Şununla karıştırmayın

3

∪

Birleşim

Küme birleşimi: kümeleri birleştirir, altı yuvarlaktır. ∨ doğru ya da yanlış önermeleri bağlar ve sivri biter.

v

Küçük Latin harfi v

Sıradan v harfi. Hızlı bir notta olur, ama arama, matematik yazı tipleri ve formül programları onu tanımaz.

˅

Aşağı ok ucu biçimli değiştirici harf

Fonetik yazıda kullanılan küçük bir ok ucu, mantık işleci değildir.

İlgili karakterler

4

∧

Mantıksal VE

Mantıksal VE, ters çevrilmiş eşi: P ∧ Q yalnızca ikisi de doğruysa doğrudur.

¬

Değil işareti

Mantıksal DEĞİL, ∨ ve ∧ ile birlikte üçüncü temel bağlaç.

⋁

N-li mantıksal VEYA

Büyük n-li VEYA; bir önerme listesinin tamamı için, ayrışmanın toplam işareti gibi.

⊻

XOR

Dışlayıcı veya (XOR): tam olarak bir taraf doğruysa doğrudur.

Bilinmesi gerekenler

Mantıkçılar ∨'yi Latince vel'e bir gönderme olarak okur: vel ikisine de izin veren “veya”, aut ise birini dışlayan “ya… ya”dır.

Sık sorulan sorular

3

Yerine v harfi yazabilir miyim?

Yalnızca gayriresmî bir notta. v ve ∨ ayrı karakterlerdir: arama motorları, ekran okuyucular ve matematik yazılımları v'yi işleç değil harf olarak görür.

Programlamada VEYA nasıl yazılır?

Genellikle ∨ ile değil. Çoğu dil ya da or sözcüğünü, bit düzeyinde veya için işaretini kullanır. ∨ belirtimlerde, makalelerde ve mantık araçlarında geçer.