New game
Download
Get Academic Plan
Share game
Integrate it into your platform

You can integrate the game into an LMS compatible with LTI 1.1 or LTI 1.3 such as Canvas, Moodle, or Blackboard. This way, the scores will be automatically saved into the platform’s gradebook.
Download
You have exceeded the maximum number of games you can integrate into Google Classroom with your current Plan.

To integrate as many games as you want in Google Classroom, you need an Academic Plan or a Commercial Plan.

You have exceeded the maximum number of games you can integrate into Microsoft Teams with your current Plan.

To integrate as many games as you want in Microsoft Teams, you need an Academic Plan or a Commercial Plan.

Downloading games is an exclusive feature for users with an Academic Plan or a Commercial Plan.

Get your Academic Plan or your Commercial Plan now and start integrating your games into your LMS, website or blog.

If you wish, you can download a demo game here and test its integration:

⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀

Quiz

Played 0

About this activity

Quiz on basic logic operators and quantifiers.

Created by

United States

Download the paper version to play

Make your own free game from our game creator
Compete against your friends to see who gets the best score in this game

Top Games

%
Anonymous
Anonymous
%
%
%
You have exceeded the maximum number of games you can print with your current Plan.

To print as many games as you want, you need an Academic Plan or a Commercial Plan.

Print your game
⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀
 

⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀Online version

Quiz on basic logic operators and quantifiers.

by LBoomsky Minecraft
1

¬A "not A"

2

A ∧ B "A and B"

3

A ∨ B "A or B (inclusive)"

4

A ⊕ B "A or B (exclusive)"

5

A → B "if A then B"

6

A ↔ B "A if and only if B"

7

∀x P(x) "for all x, P(x)"

8

∃x P(x) "there exists an x such that P(x)"

9

∃!x P(x) "there exists exactly one x such that P(x)"

10

A ⊆ B "A is a subset of B"

11

A ⊂ B "A is a proper subset of B"

12

A ∈ B "A is an element of B"

13

A ∉ B "A is not an element of B"

14

⊤ "true"

15

⊥ "false"

16

A ⟹ B "A logically implies B"

17

A ⟺ B "A is logically equivalent to B"

18

Sedeprivationism: Vatican 2 Popes hold the office of the papacy materially but not formally. Sedevacantism "Totalism": Vatican 2 Popes do not hold the office of the pope in any form.

19

Heresy: A denial of a dogma of the catholic church. Notorious/Public/Manifest Heresy: Heresy one has shown externally. Occult Heresy: Heresy one believes personally.

20

The sort of manifest heresy in which the church has issued a declaration condemning the individual as a heretic

21

The sort of manifest heresy in which the person publicly holds heresy in such a way no argument can be made for their innocence of it.

22

¬

23

24

25

26

27

28

Is a subset of

29

Is a proper subset of

30

Is an element of

31

Is not an element of

32

33

Feedback

Negation: A is false.

Conjunction: both A and B are true.

Disjunction: at least one of A or B is true.

Exclusive OR: exactly one of A or B is true.

Material implication: A being true guarantees B.

Biconditional: A and B share the same truth value.

Universal quantifier.

Existential quantifier.

Uniqueness quantifier.

A is a subset of B.

A is contained in B, but not equal to B.

A is inside set B.

A is not an element of B.

Tautology.

Contradiction.

A logically implies B

A is logically equivalent to B

Not

And

Inclusive OR

Exclusive OR

If, then

If and only if

True

False

Are you sure you want to leave the page?

If you leave the page, you will lose your game progress.