Post #4045468

@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.