I don’t think it would take you long to learn FOL, and I think it is a good formalism to have some familiarity with. It’s pretty much the default modern formul

I don’t think it would take you long to learn FOL, and I think it is a good formalism to have some familiarity with. It’s pretty much the default modern formulation of general-purpose formal logic.