If you want to allow undefined statements that’s actually fine from an inferential point of view even though in predicate logic statements are always either tru

If you want to allow undefined statements that’s actually fine from an inferential point of view even though in predicate logic statements are always either true or false. He’s a liar so his statement has to be specifically false.