Também é usado para provar que uma determinada afirmação não é verdadeira ou que um determinado conhecimento é logicamente compatível / incompatível com uma determinada evidência