Microeconomics uses formal logic and deduction, typically given assumptions and definitions around rational actors. I’m a layman but my partner is studying econ

Microeconomics uses formal logic and deduction, typically given assumptions and definitions around rational actors. I’m a layman but my partner is studying economics and I help her out a bit with logic and math stuff when it comes up, but I don’t know how prevalent these concepts are beyond academics.