Verificar se é válido o argumento : p → q ⊢ p → q ∨ r.

Sim, o argumento é válido. Podemos provar isso usando a regra de adição, que nos permite adicionar qualquer disjunção à uma proposição sem alterar sua validade. Começamos com a premissa "p → q" e aplicamos a regra de adição para adicionar a disjunção "q ∨ r" ao final da proposição, resultando em "p → q ∨ r". Portanto, a conclusão segue logicamente da premissa e é válida.