Introduction to (Formal) Logic (via, and also to, AI)