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