Symbolic Logic

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

1/20

flashcard set

Earn XP

Description and Tags

Symbolic Logic

Logic

Last updated 6:55 PM on 10/13/24
Name
Mastery
Learn
Test
Matching
Spaced
Call with Kai

No analytics yet

Send a link to your students to track their progress

21 Terms

1
New cards

a derivation in which the last step is the desired conclusion

Proof

2
New cards

a sequence of justified steps

Derivation

3
New cards

a premise, or a step that follows from previous steps according to one of the given rules of inference

Justified Step

4
New cards
term image

Simp

5
New cards
term image

Conj

6
New cards
term image

Add

7
New cards
term image

DS

8
New cards
term image

MP

9
New cards
term image

MT

10
New cards
term image

HS

11
New cards
term image

CD

12
New cards
term image

DM

13
New cards
term image

Assoc

14
New cards
term image

Dist

15
New cards
term image

Com

16
New cards
term image

DN

17
New cards
term image

Cont

18
New cards
term image

Impl

19
New cards
term image

Equiv

20
New cards
term image

Exp

21
New cards
term image

Taut