List of Symbols

0.0(0)
learnLearn
examPractice Test
spaced repetitionSpaced Repetition
heart puzzleMatch
flashcardsFlashcards
Card Sorting

1/12

encourage image

There's no tags or description

Looks like no tags are added yet.

Study Analytics
Name
Mastery
Learn
Test
Matching
Spaced

No study sessions yet.

13 Terms

1
New cards

P,Q,R,S,…

propositional (sentential) variables

2
New cards

∧

logical “and” (conjunction)

3
New cards

∨

logical “or” (disjunction)

4
New cards

¬

logical negation

5
New cards

∃

existential quantifier

6
New cards

∀

universal quantifier

7
New cards

∅

the empty set

8
New cards

U

universal set (domain of discourse)

9
New cards

N

the set of natural numbers

10
New cards

Z

the set of integers

11
New cards

Q

the set of rational numbers

12
New cards

R

the set of real numbers

13
New cards