Question

Construa uma sequência de demonstração para a sentença: ~A ^ (B → A) → ~B.

Answer 1

Resposta:

Olá bom dia!

É necessário conhecer as tabelas verdade e seus resultados lógicos.

A B

V V

V F

F V

F F

negação de A implicação

~A                          B -> A

F                             V

F                             V

V                             F

V                             V

conjunção

~A^(B->A)

F

F

F

V

negação de B

~B

F

V

F

V

Resultado da sentença:

~A^(B->A) -> ~B

V

V

V

V

É uma tautologia