Sort out issue with proposition vs logical form

dcernst / IBL-IntroToProof

A textbook for the transition to proof course for mathematics majors utilizing IBL.

http://dcernst.github.io/IBL-IntroToProof

42 stars 22 forks source link

Closed dcernst closed 3 years ago

dcernst commented 3 years ago

Is $(\forall x \in U)P(x)$ a proposition or logical form? Depends on whether U is fixed or not.

dcernst commented 3 years ago

Done.