It is also used to prove that a particular assertion is not true, or that a particular piece of knowledge is logically compatible/incompatible with a particular evidence