Maths Blocks
Visual blocks for mathematical syntax

Translation from English to mathematics

Q1. Use the blocks provided to express the statement `Every multiple of 6 is also a multiple of 3'.
Q2. Use the blocks provided to express the statement `Every multiple of 6 is also a multiple of 3', but using only mathematical notation.
Q3. Use the blocks provided to express the statement `Some multiple of 3 is also a multiple of 6'.
(dump XML) (cheat)
FORALL a a a FORALL b b b FORALL c c c BLANK BLANK BLANK BLANK = = BLANK BLANK 6 BLANK BLANK 3 FORALL a EXISTS b = a 6 b EXISTS c = a 3 c EXISTS a EXISTS b = a 6 b EXISTS c = a 3 c