Post #4045469
2026-07-23 20:23 UTC
@FishFace@ioc.exchange
i will sleep on it - i've always struggled with this kind of stuff
(but still manage to do normal maths exercises)
Replies (1)
-
@FishFace@ioc.exchange 2026-07-23 20:25
@rzeta0@mathstodon.xyz I think every student struggles at least a little bit with the formalism of first order logic. It's only really when you play with it a bit and see the correspondence between natural language statements and the relationship between the different connectives and quantifiers, that it starts to make sense. I think Tao's book has some examples and exercises to help though.