Can A.I. be used to check truth values

Karl Popper said (paraphrase) that "you can't prove reason, you just recognize it". Falsehood may be as difficult to prove since like language and perspective there is a lot of particular use meanings that are temporary rather than universal. Of course, with large database and a finite lexicon algorithms can and are used to check truth values.