Derivation Rules and Justification

Derivation Rules and Justification

m A n A m R The Simple Rules m A n B o A & B n, m &I m A & B n A n &E o B n &E m A B n A o B m,n E m AB n B o A m,n E p B m,o E m A n AB m I o B p AB o I

Reiteration m A n A m R S, AA

Reiteration m A n A m R S, AA S, A S, AA T T T T T T F T F F

&E m A & B n A n &E o B n &E S, A & BA S, A & BB

&E m A & B n A n &E o B n &E S, A & BA S, A & BB S, A, B S, A & BA T T T T T T T T F T F T T F T T F F T F F T F F S, A, B S, A & BB T T T T T T T T F T F F T F T T F T T F F T F F

&I m A n B o A & B n, m &I S, A, BA & B

&I m A n B o A & B n, m &I S, A, BA & B S, A, B S, A, BA & B T T T T T T T T T F T T F F T F T T F T F T F F T F F F

I S, AAB S, BAB m A n AB m I o B p AB o I

I S, AAB S, BAB m A n AB m I o B p AB o I S, A, B S, AAB T T T T T T T T F T T T T F T T F F T F F T F F S, A, B S, BAB T T T T T T T T F T F T T F T T T T T F F T F F

E m A B n A o B m,n E S, A  B, AB

E m A B n A o B m,n E S, A  B, AB S, A, B S, A  B, AB T T T T T T T T T F T F T F T F T T T F T T F F TTF F

E m AB n B o A m,n E p B m,o E S, A  B, AB S, B  A, AB

E m AB n B o A m,n E p B m,o E S, A  B, AB S, B  A, AB S, A, B S, A  B, AB T T T T T T T T T F T F T F T F T T F F T T F F T T F F S, A, B S, A  B, BA T T T T T T T T T F T F F T T F T T F T F T F F T T F F

m A Assumption n B o AB m-n I The Complex Rules m A Assumption n B o B p A q AB m-n, o-p I m AB n A Assumption o C p B Assumption q C r C m, n-o, p-q I m A Assumption n B o B p A m-o I m A Assumption n B o B p A m-o E

I m A Assumption n B o AB m-n I If S, A B, then SA  B

I m A Assumption n B o AB m-n I If S, A B, then SA  B S, A, B If S, A B, then SA  B T T T T T T T T T T F T T F T F T F T T F T T T T F F TFF T T

I m A Assumption n B o B p A q AB m-n, o-p I If S, A B, and S, B A, then SA  B

I m A Assumption n B o B p A q AB m-n, o-p I If S, A B, and S, B A, then SA  B S, A, B If S, A B, and S, B A, then SA  B T T T T T T T T T T T T T F T T F T F T T F T F T T F T T T F T F T F F TFF T F F T T

m AB n A Assumption o C p B Assumption q C r C m, n-o, p-q I E If S, AB, A C, and S, AB, B C, then S, ABC

m AB n A Assumption o C p B Assumption q C r C m, n-o, p-q I E If S, AB, A C, and S, AB, B C, then S, ABC S, A, B, C If S, AB, A C, and S, AB, B C, then S, ABC T T T T T T T T T T T T T T T T T T F T T T F T T T F T T F T T F T T T T T T T F T T T T T T F F T T T F T T F F T T F T F T T T T F T T T T T T T T T F T F T T F F T T T F T T F T F F T T F F T T F F T T F T T F F F T F F F T F F F T F F

¬I m A Assumption n B o B p A m-o I If S, A B and S, A B, then SA

¬I m A Assumption n B o B p A m-o I If S, A B and S, A B, then SA S, A, B If S, A B and S, A B, then SA T T T T T T T T F T F T T F T T F T T T T F T F T T F T T F F T T T F F TFF T F T T T

¬I m A Assumption n B o B p A m-o I If S, A B and S, A B, then SA S, A, B If S, A B and S, A B, then SA T T T T T T T T F T F T T F T T F T T T T F T F T T F T T F F T T T F F T F F T F T T T

¬E m A Assumption n B o B p A m-o E If S, A B and S, A B, then SA

¬E m A Assumption n B o B p A m-o E If S, A B and S, A B, then SA S, A, B If S, A B and S, A B, then SA T T T T T T T T F T F T T F T T F T T T T F T F T T F T T F F T T T F F TFF T F T T T

Derivation Rules and Justification

Derivation Rules and Justification

Presentation Transcript

JUSTIFICATION

Phonological derivation

JUSTIFICATION AND CONSUMERISM

Justification and the Law

Background and Justification

Operational Justification

DERIVATION

Justification

Introduction to Derivation Rules

Muller’s Derivation

Project justification

Self-Justification

JUSTIFICATION

JUSTIFICATION

Word Derivation

Research Justification

Justification

Project justification