# Logic Puzzles 1 (with Inna Zakharevich)

version 0.1.0 (Sep 2023) (HTML5)

## About

The webpage linked above contains a collection of logic puzzles to help students understand mathematical statements with quantifiers.

## Instructions

In each puzzle, evaluate whether or not the logical statement holds when applied to the grid of shapes below it. Select "True" or "False" to check your answer.

The logical statements include the quantifiers for all (∀) and there exists (∃). The functions *shape()*, *border()*, and *fill()* refer to the geometric shape, border color, and interior color of a given shape respectively.

### Example

In the following puzzle

the statement

means in (less concise) EnglishThe bottom-most hexagon in the grid is comprised of only one color, so the statement is false.