Question

Uma proposição equivalente na forma lógica a “Se Davi é justo, então Moisés é poderoso” é:

Answer 1

Resposta:

Se Moisés não é poderoso, então Davi não é justo

Explicação:

Dizemos que duas proposições “p” e “q” são equivalentes se os resultados de suas tabelas-verdade são idênticos.

A tabela verdade da afirmação do enunciado (sabendo que vamos utilizar o conectivo na condicional, só é F quando a primeira for V e a segunda for F ) temos:

P | Q | validação da proposição

v   v    V

v   f     F

f   v    V

f   f     V

- Temos aqui uma contingencia, para ter uma proposição equivalente temos que transformar essa proposição em uma equivalente (igual)

A tabela verdade da negação do enunciado, temos:

~Q | ~P | Validação

f       f     V

v      f     F

f      v    V

v     v    V

Espero ter ajudado!