Question

Considere o seguinte argumento: p -> q, ~ p |-> q. Através da análise da tabela-verdade, verifique e diga se o argumento é válido ou inválido.​

Answer 1

p -> q, ~p |-> ~q

Premissas: p -> q e ~p  Conclusão: ~q

tabela verdade:

p   q   ~p   ~q   p --> q

V   V    F     F     V

V   F    F     V     F

F   V    V     F     V

F   F    V     V     V

Um argumento é válido se os valores lógicos das premissas e da  conclusão são somente verdadeiros

Na linha 3 e 4 as premissas são verdadeiras, mas na linha 3 a conclusão é falsa, logo não podemos garantir que quando as premissas forem verdadeiras, as conclusões serão também verdadeiras. Então o argumento é inválido.