Question

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

Answer 1

Resposta:

Oi!

Como numa expressão resolva primeiro os parênteses.

Se temos 3 proposições, o número de linhas da tabela verdade será:

2³ = 8

B ^ ((B ^ C ) → ~A) ^ (B → C ) → ~A

A B C

V V V

V V F

V F V

V F F

F V V

F V F

F F  V

F F F

conjunção

B^C

V

F

F

F

V

F

F

F

negação de A

~A

F

F

F

F

V

V

V

V

implicação

(B^C)-> ~A

F

V

V

V

V

V

V

V

conjunção

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

F

V

F

F

V

V

F

F

implicação

B -> C

V

F

V

V

V

F

V

V

implicação (resultado da expressão)

implicação

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

V

V

V

V

V

V

V

V

É tautologia