P ∨ q, mantıksal bir ifade olup “P veya q” anlamına gelir. Bu ifade, “P” veya “q” doğru olduğunda doğru kabul edilir. Yani:

• Eğer P doğruysa ve q yanlışsa, sonuç doğru olur.
• Eğer P yanlışsa ve q doğruysa, sonuç yine doğru olur.
• Eğer her ikisi de doğruysa, sonuç doğru olur.
• Eğer her ikisi de yanlışsa, sonuç yanlış olur.

Kısacası, bir bağlantı operatörü olan “veya” (OR) kullanılarak iki önerme arasındaki ilişkiyi ifade eder.