SOLUTION: Using Patrick Hurley 11th edition and the first 13 rules including implications and replacement as followed: H ) ~A A / ~(H v ~A)

SOLUTION: Using Patrick Hurley 11th edition and the first 13 rules including implications and replacement as followed: H ) ~A A / ~(H v ~A)

Algebra.Com

Question 977627: Using Patrick Hurley 11th edition and the first 13 rules including implications and replacement as followed:
H ) ~A
A / ~(H v ~A)
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
The first line "H ) ~A" isn't clear. Did you mean "H -> ~A" ?
RELATED QUESTIONS
Parick Hurley edition 11 Logic I, using first 13 rules of implication and replacement (answered by jim_thompson5910)

Construct proofs using the Rules of Inference and the Rules of Replacement. The... (answered by jim_thompson5910)

Construct proofs using the Rules of Inference and the Rules of Replacement. The... (answered by jim_thompson5910)

Solve the following proof using natural deduction (rules of replacement and rules of... (answered by robertb)

Use the first five rules of replacement (DM,Com, Assoc, Dist, DN) together with the eight (answered by Edwin McCravy)

Construct a proof using any basic rules and replacement rules. 1.(A v F) horseshoe ~(B � (answered by Edwin McCravy)

Solve the following using rules of replacement: R ∨ V , R → (H ∧ S), (answered by jim_thompson5910)

how to solve this using the implication rules and replacement rules. ~(SvQ) /~P>~S (answered by Edwin McCravy)

Solve the problem using rules of inference and replacement: Premise 1) Q v (R . S)... (answered by solver91311)