Test 2 LOG

studied byStudied by 0 people
0.0(0)
learn
LearnA personalized and smart learning plan
exam
Practice TestTake a test on your terms and definitions
spaced repetition
Spaced RepetitionScientifically backed study method
heart puzzle
Matching GameHow quick can you match all your cards?
flashcards
FlashcardsStudy terms and definitions

1 / 9

encourage image

There's no tags or description

Looks like no one added any tags here yet for you.

10 Terms

1

Theorem

A statement from that can be proved without any given premises

New cards
2

Justified step

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

New cards
3

Proof

Sequence of justified steps in which last step is desired conclusion; that is, it is a sequence of steps, each of which is either a premise, or an assumption, or a step that follows from previous steps according to one of the given rules of inference and in which the last step is the desired conclusion

New cards
4

Statement variable

Letter that can take as a substitution instance any particular statement, simple or complex

New cards
5

Statement constant

Capital letter that is used as an abbreviation for a particular truth functionally simple English sentence

New cards
6

Statement

Formular that has statement constants as its smallest components

New cards
7

Statement form

Formula that has statement variables as its smallest components

New cards
8

Substitution instance

Statement form is a statement obtained by substituting some statement for each variable in the statement form

New cards
9

Derivation

Sequence of justified steps

New cards
10

Proof

Derivation in which last step is desired conclusion

New cards

Explore top notes

note Note
studied byStudied by 3 people
146 days ago
5.0(1)
note Note
studied byStudied by 8 people
674 days ago
5.0(1)
note Note
studied byStudied by 2599 people
305 days ago
5.0(11)
note Note
studied byStudied by 73 people
703 days ago
5.0(2)
note Note
studied byStudied by 29 people
777 days ago
5.0(3)
note Note
studied byStudied by 33 people
824 days ago
4.5(2)
note Note
studied byStudied by 20 people
730 days ago
5.0(1)
note Note
studied byStudied by 5 people
640 days ago
5.0(1)

Explore top flashcards

flashcards Flashcard (20)
studied byStudied by 9 people
759 days ago
5.0(4)
flashcards Flashcard (68)
studied byStudied by 44 people
366 days ago
5.0(1)
flashcards Flashcard (67)
studied byStudied by 3 people
735 days ago
5.0(1)
flashcards Flashcard (46)
studied byStudied by 4 people
823 days ago
5.0(1)
flashcards Flashcard (61)
studied byStudied by 5 people
399 days ago
5.0(1)
flashcards Flashcard (34)
studied byStudied by 33 people
153 days ago
5.0(1)
flashcards Flashcard (39)
studied byStudied by 2 people
89 days ago
5.0(1)
flashcards Flashcard (314)
studied byStudied by 1 person
46 minutes ago
5.0(1)
robot