28
Iniciação À Lógica Matemática

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

Edgard Alencar Filho IBSN: 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.