Phi 120 Exam 2

Front 1

Annotation

Back 1

on the right of a sentence that specifies which rule of proof was applied to which earlier sentences to yield given sentence

Front 2

Argument Form

Back 2

Replace sentences with letters (serve as variables).

Front 3

Denial

Back 3

opposite value of the WFF
denial of p is ~p
denial of ~p is p or ~~p

Front 4

Deduction

Back 4

argument where conclusion follows with necessity given the premises

Front 5

Discharging assumptions

Back 5

getting rid of assumptions we made that were not the premises

Front 6

Double turnstile problems

Back 6

can be broken into two proofs (left is premise of right and right is premise of left)

Front 7

Elimination type rule/problem

Back 7

The conclusion is found as a whole in the premise, have to break it out.
&E, vE, ->E, <->E

Front 8

Introduction type rule/problem

Back 8

Conclusion is not found as a whole...have to build it.
&I, vI, ->I, <->I

Front 9

Derived Rules

Back 9

Rule you prove using other rules (you don't have to prove the derived rules again)

Front 10

Primitive Rules

Back 10

&I, vI, ->I, <->I, &E, vE, ->E, <->E, assumption, RAA

Front 11

Substitution instances

Back 11

have a sequent and replace letters with other letters and has exact same steps

Front 12

Theorem

Back 12

sentence that is always true without needing any premises

Front 13

Validity

Back 13

it is necessary that IF all premises are true, the conclusion is true