Logic Translation Rules

0.0(0)
Studied by 0 people
call kaiCall Kai
learnLearn
examPractice Test
spaced repetitionSpaced Repetition
heart puzzleMatch
flashcardsFlashcards
GameKnowt Play
Card Sorting

1/27

encourage image

There's no tags or description

Looks like no tags are added yet.

Last updated 10:40 PM on 6/16/26
Name
Mastery
Learn
Test
Matching
Spaced
Call with Kai

No analytics yet

Send a link to your students to track their progress

28 Terms

1
New cards

Rule 1 [If, when, where, whenever, wherever, all, every, any, the only]

Condition following term represents X

2
New cards

Rule 2 [Only, only if, only when, only where, must, always, requires]

Condition following term represents Y

3
New cards

Rule 3 [Unless, without, until]

Either Condition surrounding term represents X, when negated

4
New cards

Rule 4 [No, not, none, cannot, never, not both]

Either Condition surrounding term represents Y, when negated

5
New cards

If

Rule 1[Condition following term represents X]

6
New cards

When

Rule 1[Condition following term represents X]

7
New cards

Where

Rule 1[Condition following term represents X]

8
New cards

Whenever

Rule 1[Condition following term represents X]

9
New cards

All

Rule 1[Condition following term represents X]

10
New cards

Every

Rule 1[Condition following term represents X]

11
New cards

Any

Rule 1[Condition following term represents X]

12
New cards

The only

Rule 1[Condition following term represents X]

13
New cards

Only

Rule 2 [Condition following term represents Y]

14
New cards

Only if

Rule 2 [Condition following term represents Y]

15
New cards

Only when

Rule 2 [Condition following term represents Y]

16
New cards

Only where

Rule 2 [Condition following term represents Y]

17
New cards

Must

Rule 2 [Condition following term represents Y]

18
New cards

Always

Rule 2 [Condition following term represents Y]

19
New cards

Requires

Rule 2 [Condition following term represents Y]

20
New cards

Unless

Rule 3 [Either Condition surrounding term represents X, when negated]

21
New cards

Without

Rule 3 [Either Condition surrounding term represents X, when negated]

22
New cards

Until

Rule 3 [Either Condition surrounding term represents X, when negated]

23
New cards

No

Rule 4 [Either Condition surrounding term represents Y, when negated]

24
New cards

Not

Rule 4 [Either Condition surrounding term represents Y, when negated]

25
New cards

None

Rule 4 [Either Condition surrounding term represents Y, when negated]

26
New cards

Cannot

Rule 4 [Either Condition surrounding term represents Y, when negated]

27
New cards

Never

Rule 4 [Either Condition surrounding term represents Y, when negated]

28
New cards

not both

Rule 4 [Either Condition surrounding term represents Y, when negated]