The game is played by pressing the A and B buttons  using the keyboard or clicking with the mouse
 according to the clues given. If you press the correct button, you score 1 point; if you make
a mistake, the game ends. The aim is to score as many points as possible. You need to pay attention
because the instructions are provided sometimes by knights, trustworthy characters who
always
tell the truth, and sometimes by knaves, unreliable characters who always lie.
In the HOME menu, you can choose how to set up the game.

TYPE OF QUESTIONS
Here, you choose the logical structure of the questions that are posed; you can choose as many
types of question as you like.
In this first type of exercise, it is simply a matter of recognizing true and false
statements, that is, paying attention to the character making them. At each turn, you
need to press either A or B to continue (if you do not press anything, you will not move
on to the next turn).
In the predicates section, phrases such as ANIMAL (TIGER) appear: this notation should be
read as "the tiger is an animal". In general, X(Y) should be read as "Y is of type
X".
The negation section introduces the NOT symbol;
¬ ANIMAL (TIGER) should be read as "the tiger is NOT an animal". In general, ¬ X(Y)
should be read as "Y is not of type X".
The AND symbol is introduced in this section;
A ∧ B is true if both A and B are true. For example, ANIMAL (TIGER) ∧ ANIMAL (BEAR) is
true, but ANIMAL (TIGER) ∧ ANIMAL (CHAIR) is false.
The OR symbol is introduced in the section;
A ∨ B is true if at least one of A and B is true. For example, ANIMAL (TIGER) ∨ ANIMAL
(CHAIR) is true, while ANIMAL (CHAIR) ∨ ANIMAL (TABLE) is false.
The section introduces the EXCLUSION symbol;
A \ B is true only in the case where A is true and B is false. For example, ANIMAL
(TIGER) \ ANIMAL (CHAIR) is true.
In this section, implication is introduced;
A → B is true in three different cases: if A and B are both true, if A and B are both
false, and if A is false and B is true. For example, ANIMAL (TIGER) → ANIMAL (CHAIR) is
false, while ANIMAL (TIGER) → ANIMAL (BEAR), ANIMAL (TABLE) → ANIMAL (CHAIR), and ANIMAL
(TABLE) → ANIMAL (BEAR) are all true.

TYPE OF PREDICATES
You can choose the type of predicates—that is, whether the statements being made are about
general knowledge or specifically about mathematics. Predicates are phrases such as ANIMAL
(TIGER) where it is "predicated" that a certain property is valid on a certain object.
Let us now clarify the meaning of some of the mathematical predicates that appear in level 2.
MULTIPLE_3 (n) should be read as "The number n is a multiple of 3". For n to be a
multiple of 3, there must be an integer k such that n = k × 3. For example, 15 is
multiple of 3 because 15 = 5 × 3, whereas 10 is not multiple of 3 because 10 = k × 3
does not have any integer solutions.
SQUARE (n) should be read as " n is a square number". For n to be a square number, there
must be an integer k such that n = k × k. For example, 16 is a square number because 16
= 4 × 4, whereas 15 is not a square number because 15 = k × k does not have any integer
solutions.

TIME AVAILABLE
You can choose the maximum length of the game (1, 2, or 4 minutes).
If you choose all question types up to AND (∧), then ∧, and any question types after it, will be played
on a new level.
If you choose all question types up to EXCLUSION \, then \, as well as IMPLICATION (), will be played on
a new level.