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 20 people
894 days ago
5.0(2)
note Note
studied byStudied by 1 person
50 days ago
5.0(1)
note Note
studied byStudied by 8 people
194 days ago
5.0(1)
note Note
studied byStudied by 5562 people
707 days ago
5.0(28)
note Note
studied byStudied by 21 people
904 days ago
5.0(3)
note Note
studied byStudied by 4 people
25 days ago
5.0(1)
note Note
studied byStudied by 12 people
738 days ago
5.0(1)
note Note
studied byStudied by 88 people
703 days ago
5.0(2)

Explore top flashcards

flashcards Flashcard (49)
studied byStudied by 21 people
370 days ago
5.0(1)
flashcards Flashcard (35)
studied byStudied by 840 people
291 days ago
5.0(1)
flashcards Flashcard (48)
studied byStudied by 1 person
61 days ago
5.0(1)
flashcards Flashcard (20)
studied byStudied by 10 people
710 days ago
5.0(1)
flashcards Flashcard (72)
studied byStudied by 3 people
667 days ago
5.0(1)
flashcards Flashcard (26)
studied byStudied by 58 people
357 days ago
5.0(1)
flashcards Flashcard (38)
studied byStudied by 3 people
226 days ago
5.0(1)
flashcards Flashcard (50)
studied byStudied by 86 people
675 days ago
5.0(2)
robot