previous up next
Go backward to Sum Quantifier
Go up to Top
Go forward to Examples
RISC-Linz logo

Examples

(sum1 <= i <= n i2) = (sumi, (i in N /\  1 <= i /\  i <= n) i2)
(sum1 <= i <= 0 i2) = 0
(sum1 <= i <= 5 i2) = 12 + (sum2 <= i <= 5 i2)
(sum1 <= i <= 5 i2) = 12+22+32+42+52;

Author: Wolfgang Schreiner
Last Modification: November 16, 1999

previous up next