Si usa anche per dimostrare che una particolare affermazione non è vera, o che una particolare conoscenza è logicamente compatibile/incompatibile con una particolare evidenza