Dada duas proposições lógicas p e q, pode-se afirmar que elas são uma disjunção quando se apresentarem da seguinte forma: