Chapter 4 - Derivations Flashcards
1
Q
OLI’s style of derivations, consisting of numbered lines, each with a single formula and justification, are called ______ ______
A
Fitch diagrams
2
Q
allows us to introduce new conjunctions, disjunctions, and conditionals in a derivation
A
introduction rules
3
Q
allows us to extract certain subformulae from conjunctions, disjunctions, and conditionals already in a derivation
A
elimination rules
4
Q
sets apart the potion of the derivation where the assumption is in force
A
scope
5
Q
miniature derivation inside the main one
A
subderivation
6
Q
a rule that translates whatever it is we’ve shown in the subderivation in the context of the main derivation
A
discharges
7
Q
Modus Ponens
A
->E
8
Q
Argument by cases
A
vE
