Logic Symbols
0.0(0)
Studied by 0 people
Learn
Practice Test
Spaced Repetition
Match
FlashcardsCard Sorting
1/8
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.
9 Terms
1
New cards
A → B
If A, then B.
2
New cards
A ↔ B
A if and only if B.
3
New cards
~A
Not A.
4
New cards
A ∨ B
A or B (possibly both)
5
New cards
A ∧ B
A and B
6
New cards
A ⊃ B
A implies B.
7
New cards
Contrapositive
Flip and negate: A → B becomes ~B → ~A
8
New cards
Mutually Exclusivity
Only one can be true
9
New cards
Rule Substitution
Replacing one rule with an equivalent.
Note 
Flashcards (28)