Question

Sobre Métodos da Demonstração, no processo de Demonstração por Contradição, através da lei de equivalência referente à eliminação do condicional, pode-se afirmar que se "P => Q", então o condicional "P -> Q" é verdadeiro e equivale a:

Answer 1

Resposta:

~(P ∧ ~Q)

Explicação passo a passo:

P -> Q  <=> ~P V Q ou, aplicando De Morgan, ~(P ∧ ~Q).