Em que condição a disjunção proposicional p ∨ q é verdadeira?

Quando pelo menos uma das proposições simples é verdadeira.

Em lógica proposicional, a disjunção p ∨ q é falsa somente se p e q forem ambas falsas; em todas as outras combinações ela é verdadeira, portanto \(V \lor F = V\), \(F \lor V = V\), \(V \lor V = V\), \(F \lor F = F\).

Exemplo: Considere p: "a lâmpada está acesa" (V) e q: "a janela está aberta" (F). Então p ∨ q = \(V \lor F = V\), logo a disjunção é verdadeira.