Operações sobre proposições: disjunção