user638203

anyone have any good resources for propositional + first order logic for people who are new to it and want a comprehensive curriculum?

@user21820 Looking through these posts, I don't think they are very beginner-friendly. They presume more knowledge / familiarity with certain jargon up-front and are simply going to whoosh over everyone's heads, and I say this as someone who's already familiar with propositional logic!

I have trouble telling apart definitions from axioms because they often seem to similar

Different sources tend to use slightly different inference rules but the overall idea is the same

I have a good idea of how to use propositional logic yes

@user21820 Not quite, currently looking for good resources to learn it

Can anyone explain what it means to "axiomatize" something as opposed to "defining" it?