Demonstração é uma confirmação, uma evidência, algo que serve como prova de que certo argumento ou teoria é válido. Considere as seguintes ferramentas e assinale verdadeiro para as que são de de demonstração de teoremas, e falso para as que não são:
Soluções para a tarefa
Na lógica, temos vários modos de demonstrar teoremas ou argumentos. Analisaremos cada um dos métodos que aparece no exercício.
Teste e ocorrência de um número finito de casos afirmativos.
De fato, alguns testes são feitos por exaustão ou por possibilidade. Testamos todos os casos (se forem casos finitos, claro) e então temos uma resposta da validade ou não.
Teoremas anteriores.
Claro. Todo teorema decorre das regras de inferência e de axiomas já propostos. Logo, os teoremas anteriores também derivam novos teoremas por meio das regras de inferência.
Axiomas.
O mesmo que foi dito acima ocorre com os axiomas.
Raciocínio lógico.
O raciocínio lógico é exatamente o bom uso de regras de inferência e dos axiomas para derivar novas verdades.
Não ocorrência de um contra-exemplo.
Chamamos de redução ao absurdo o tipo de prova que supõe algo e então, provando uma contradição, dissemos que esse algo é falso, pois isso nos levaria a um caminho inaceitável. Correto.