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