First-order logic (FO) is an important foundation of many domains, including computer science and artificial intelligence. In recent efforts to teach basic CS AI concepts children, FO has so far remained absent. this paper, we examine whether it possible design a learning environment that both motivates enables children learn the basics FO. The key components are syntax-free blocks-based notati...