Utilize as letras indicadas nos exercícios para representar os argumentos abaixo e prove a validade aplicando regras de inferência. Ou o carro não ...

Utilize as letras indicadas nos exercícios para representar os argumentos abaixo e prove a validade aplicando regras de inferência.
Ou o carro não está em bom estado ou o cliente irá comprá-lo. Se o carro não estiver em bom estado, o vendedor perde a venda. O cliente não vai comprar o carro. Portanto, o vendedor vai perder a venda (A, B, C).
A: o carro está em bom estado.
B: o cliente irá comprar o carro.
C: o vendedor perde a venda.
A’∨ B: ou o carro não está em bom estado ou o cliente irá comprá-lo.
A’→C: se o carro não estiver em bom estado, o vendedor perde a venda.
[(A’∨ B)∧ (A’→C)∧B’]→C
Uma sequência de demonstração é:
(A’∨ B)
(A’→C)
B’
A → B 1, equivalência condicional.
(A’ ∨ B⇔ A→B)
A’ 3,4, modus tollens
C 2,5, modus ponens
Demonstrar a validade do argumento