Ive been chatting with ChatGPT off and on all day, and topics covered are first, second, third, and n-ordered logics (and examples in each), universal vs existential quantification in relational calculus (including nested existential and universal quant.),