The chatgpt does good with coming up with practice problems and explaining it. It's just regular prop logic while adding predicates (is a father F(x), x fathered y Fxy) and adds quantifiers (the for all x or there exists x).