2 ms·
If you just state it as a logical quantified proposition, it’s pretty obvious unless the type is complicated (then you need to break it down into multiple logic
by seanmcdirmid 2y ago
If you just state it as a logical quantified proposition, it’s pretty obvious unless the type is complicated (then you need to break it down into multiple logical quantified propositions).
- wesselbindt 2y agoYes of course, but again, I don't think anyone disagrees with you on this.