CCDSTRU Natural Language Translation
0.0(0)
Studied by 24 people
Call Kai
Learn
Practice Test
Spaced Repetition
Match
Flashcards
Knowt PlayCard Sorting
1/18
Earn XP
Last updated 6:01 PM on 2/12/24
Name | Mastery | Learn | Test | Matching | Spaced | Call with Kai |
|---|
No analytics yet
Send a link to your students to track their progress
19 Terms
1
New cards
if … then …
p → q
2
New cards
… implies …
p → q
3
New cards
… is sufficient for …
p → q
4
New cards
… only if …
p → q
5
New cards
… if …
q ← p
6
New cards
… is necessary for …
q ← p
7
New cards
… follows from …
q ← p
8
New cards
_ unless _?
p → q | q unless ~p
9
New cards
… provided that …
q ← p
10
New cards
not
NEGATION: ¬
11
New cards
it is not the case that p
NEGATION: ¬
12
New cards
p but q
CONJUNCTION: ∧
13
New cards
p and q
CONJUNCTION: ∧
14
New cards
p or q, but not both
EXCLUSIVE-OR: ⊕
15
New cards
p or q
DISJUNCTION: ∨
16
New cards
_ is necessary and sufficient for _
BICONDITIONAL: p ⇔ q
17
New cards
if … then …, and conversely
BICONDITIONAL: p ⇔ q
18
New cards
… if and only if …
BICONDITIONAL: p ⇔ q
19
New cards
… iff …
BICONDITIONAL: p ⇔ q