For each numbered line that is not a premise in each of the formal proofs that follow state the rule of inference/replacement that justifies it. ( (V T-) כ(U.1 .( ( (WX) כ T) (U.2 3. ( (T · V) ɔ ~ (W...

NEED HELP ASAP PLEASE!!

Extracted text: For each numbered line that is not a premise in each of the formal proofs that follow state the rule of inference/replacement that justifies it. ( (V T-) כ(U.1 .( ( (WX) כ T) (U.2 3. ( (T · V) ɔ ~ (W v X)) .. (W = X) 4. ((T · U) ɔ (W ·X)) 5. (T · V) ɔ ( ~ W. ~ X)) 6. ((T · U) ɔ (W. X)) · ((T · V) ɔ (~ W. ~ X)) 7. (T· U V (T · V)) 8. ((W · X) v (~ W v ~ X) 9. (W = X) Prompts Submitted Answers How did we arrive with line number 4? Exportation How did we arrive with line number 5? 3, De Morgan's Theorem How did we arrive with line number 6? Choose a match How did we arrive with line number 7? 1, Distribution How did we arrive with line number 8? 6, 7, Constructive Dilemma How did we arrive with line number 9? 8, Material Equivalence


Extracted text: 8, Material Equivalence 1, Distribution O 4, 6 Addition O 2, Simplification 2, Tautology 1, Absorption 3, Transposition 2, Exportation 6, 7, Constructive Dilemma 3, De Morgan's Theorem 8, 5, Hypothetical Syllogism 4, 5, Constructive Dilemma