Quiz — Iuncturae

Iunctura all vera est solum cum omnis valor congruit. Probatio 4 == all(2, 4, 6) quaerit utrum 4 aequet 2 et 4 et 6 — quod non facit, itaque effectus est False.

Curiosus quid illud True facere posset? Pars sinistra unicuique ex 2, 4 et 6 simul aequare deberet. Nullus singularis numerus potest — sed iunctura a sinistra potest: iunctura any quae omnes tres illos valores continet operatur, quia tunc unaquaeque comparatio succedit. Duae partes eiusdem magnitudinis esse non debent — sinistra valores superfluos ferre potest:

say so any(2, 4, 6, 8) == all(2, 4, 6); # True
say so any(2, 4)       == all(2, 4, 6); # False

Prima True est quia any(2, 4, 6, 8) adhuc 2, 4 et 6 aequat (superfluum 8 non nocet). Secunda False est quia pars sinistra 6 non habet, itaque left == 6 deficit.