Playing with ChatGPT, a few findings: 1. It knows logic pretty well, for example "If A implies B, B implies C", "then A implies C" or "not C implies not A". It can determine "B implies C" to be incorrect. 2. It knows some math, e.g., to order: 10, 3, 5.2, -3, log(6), 0, 3