Verificar se é válido o argumento : p → q, ~p ⊢ ~q. Verificar a validade do argumento. Escrever o argumento em forma simbólica. Construir a tabela...

Para verificar a validade do argumento, podemos utilizar a tabela-verdade. Escrevendo o argumento em forma simbólica, temos: p → q, ~p ⊢ ~q Usando a equivalência entre a implicação e a negação, podemos reescrever o argumento como: ~p ∨ q, ~p ⊢ ~q Construindo a tabela-verdade referente ao argumento, temos: | p | q | ~p | ~p ∨ q | ~q | |---|---|----|--------|----| | V | V | F | V | F | | V | F | F | F | V | | F | V | V | V | F | | F | F | V | V | V | Analisando a tabela-verdade, podemos ver que quando p é verdadeiro e q é verdadeiro, o argumento é falso, pois ~q é falso. Portanto, o argumento não é válido.