Considere as proposições p, q e r. Sem utilizar uma tabela da verdade, verifique a validade do argumento p ->~q, p |- q. O argumento não é válido.

O argumento não é válido. Podemos verificar isso através do método da demonstração indireta, também conhecido como prova por contradição. Suponha que as premissas "p -> ~q" e "p" são verdadeiras e que a conclusão "q" é falsa. A partir da primeira premissa, podemos inferir que se "p" é verdadeiro, então "~q" é verdadeiro. Usando a segunda premissa, podemos concluir que "p" é verdadeiro. A partir dessas duas inferências, podemos concluir que "~q" é verdadeiro. No entanto, isso contradiz a suposição inicial de que "q" é falso. Portanto, o argumento não é válido.