Maths rulefiles.catbox.moeimage flamingos-cant ( @flamingos@feddit.uk ) 196@lemmy.blahaj.zoneEnglish • 1 day ago message-square22fedilinkarrow-up1162
arrow-up1162imageMaths rulefiles.catbox.moe flamingos-cant ( @flamingos@feddit.uk ) 196@lemmy.blahaj.zoneEnglish • 1 day ago message-square22fedilink
minus-square Poik ( @Poik@pawb.social ) linkfedilink2•12 hours agoNope, it means “for any” as in no matter which one you choose it will be correct.
minus-square driving_crooner ( @driving_crooner@lemmy.eco.br ) linkfedilink2•11 hours agohttps://en.m.wikipedia.org/wiki/Universal_quantification I usually used it as “for all”, but its looks like “for any” is used too
minus-square Poik ( @Poik@pawb.social ) linkfedilink1•3 hours agoI sit corrected. It’s used as an arbitrary singular value within the proof, so for any always felt more appropriate.
Nope, it means “for any” as in no matter which one you choose it will be correct.
https://en.m.wikipedia.org/wiki/Universal_quantification
I usually used it as “for all”, but its looks like “for any” is used too
I sit corrected. It’s used as an arbitrary singular value within the proof, so for any always felt more appropriate.