Estabelecer conclusivamente a verdade de uma proposição é demonstrá-la. Numa demonstração direta, estabelece-se a verdade da proposição p quando se deriva validamente p de premissas verdadeiras. Numa demonstração indireta, a verdade de p é estabelecida quando se refuta não p.
Note-se que «demonstração» (como «demonstrar», «demonstrável», etc.) é um termo factivo. Demonstrar algo é conseguir estabelecer isso, e é diferente de argumentar apenas a seu favor, ou seja, de procurar estabelecer tal coisa. De igual modo, refutar uma afirmação é conseguir mostrar a sua falsidade, e é mais do que argumentar apenas contra ela.
Mautner, T. (2010). Dicionário de filosofia. Lisboa: Edições 70, p. 190.
