Como aplicar o método da conclusão falsa para testar a validade de um argumento proposicional?

Resposta

Assume-se a conclusão falsa e procura-se uma valoração que torne todas as premissas verdadeiras e a conclusão falsa.

Exemplo: represente C = "caminhão é vermelho", E = "escavadeira é laranja", B = "ônibus é azul" e as premissas como C→E, E→B, ¬E∨¬B, C∨B. Suponha ¬E e escolha C = F e B = V. Então C→E e E→B são verdadeiras (antecedente falso), ¬E∨¬B é verdadeira porque ¬E é verdadeira, e C∨B é verdadeira porque B é verdadeira. Como todas as premissas são verdadeiras com E falsa, o argumento é inválido.