Atividade para Postagem (4ª semana)

Capítulo 10
1) Usar tabela-verdade para verificar que são válidos os seguintes argumentos: a. p → q, p V V V V F F F F q V V F F V V F F r → ~q — r → ~p r V F V F V F V F p→q V V F F V V V V r → ~q F V V V F V V V r → ~p F V F V V V V V

De acordo com as linhas 2, 6, 7 e 8, o argumento dado é válido.

b. p → ~q, p V V V V F F F F q V V F F V V F F

r → p, r V F V F V F V F

q — ~r r → p V V V V F V F V q V V F F V V F F ~r F V F V F V F V

p → ~q F F V V V V V V

De acordo com a linha 6, o argumento dado é válido.

c. p → q, p V V V V F F F F q V V F F V V F F

r ∨ ~q, ~r — ~p r V F V F V F V F p → q V V F F V V V V r ∨ ~q V V V V F F V V ~r F V F V F V F V ~p F F F F V V V V

De acordo com a linha 8 o argumento dado poderia ser válido, no entanto na linha 2 está demonstrado que trata-se de um sofisma. d. p → q ∨ r, ~q — p → r p V V V V F F F F q V V F F V V F F r V F V F V F V F q ∨ r V V V F V V V F p → q ∨ r V V V F V V V V ~q F F V V F F V V p→r V F V F V V V V

De acordo com as linhas 3, 7 e 8, o argumento dado é válido.

3) Usar tabelas-verdade para mostrar a validade dos seguintes argumentos: a. (1) x = 0 → x ≠ y (2) x = z → x = y (3) x = z x≠0 p: x = 0 q: x = y r: x = z p → ~q, r → q — p

p V V V V F F F

q V V F F V V F

r V F V F V F V

p → ~q F F V V V V V

r→q V V F V V V F

r V F V F V F V

~p F F F F V V V

F F F V V F V De acordo com a linha 5, o argumento dado é válido.

b.