17

Exercícios resolvidos: Iniciação À Lógica Matemática

Edgard Alencar FilhoIBSN: 9788521304036

Elaborado por professores e especialistas

Passo 1 de 7keyboard_arrow_downkeyboard_arrow_up

(a)

Temos, sucessivamente:

Para chegar à conclusão indicada, utilizaremos a regra “Modus ponens” e das premissas e , inferimos . Das premissas e , pela mesma regra, inferimos , chegando à conclusão indicada.

Assim, a conclusão pôde ser deduzida das três premissas do argumento dado por meio da regra “Modus ponens”, como foi pedido no exercício.

Passo 2 de 7keyboard_arrow_downkeyboard_arrow_up

(b)

Temos, sucessivamente:

Passo 3 de 7keyboard_arrow_downkeyboard_arrow_up

Para chegar à conclusão indicada, utilizaremos a regra “Modus ponens” e das premissas e , inferimos . Das premissas e , pela mesma regra, inferimos , chegando à conclusão indicada.

Assim, a conclusão pôde ser deduzida das três premissas do argumento dado por meio da regra “Modus ponens”, como foi pedido no exercício.

Passo 4 de 7keyboard_arrow_downkeyboard_arrow_up

(c)

Temos, sucessivamente:

Passo 5 de 7keyboard_arrow_downkeyboard_arrow_up

Para chegar à conclusão indicada, utilizaremos a regra “Modus ponens” e das premissas e , inferimos . Das premissas e , pela mesma regra, inferimos , chegando à conclusão indicada.

Assim, podemos deduzir a conclusão das três premissas do argumento dado por meio da regra “Modus ponens”, como foi pedido no exercício.

Passo 6 de 7keyboard_arrow_downkeyboard_arrow_up

(d)

Temos, sucessivamente:

Passo 7 de 7keyboard_arrow_downkeyboard_arrow_up

Para chegar à conclusão indicada, utilizaremos a regra “Modus ponens” e das premissas e , inferimos . Das premissas e , pela mesma regra, inferimos , chegando à conclusão indicada.

Assim, podemos deduzir a conclusão das três premissas do argumento dado por meio da regra “Modus ponens”, como foi pedido no exercício.

O passo a passo dos exercícios mais difíceis

12xR$ 29,90 /mêsCancele quando quiser, sem multa

E mais

  • check Videoaulas objetivas
  • check Resumos por tópicos
  • check Salve para ver depois
  • check Disciplinas ilimitadas
  • check Filtros exclusivos de busca