Logical Consistency of Large Language Models in Fact-checking